Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 365
Показаны документы с 1 по 10 |
|
| 1. | 2001к/11696
Селиванов, В. Л. .
Краткий курс математической логики : учеб. пособие / В. Л. Селиванов, А. А. Урман, А. Б. Хуторецкий ; М-во общ. и проф. образования Рос. Федерации, Новосиб. гос. пед. ун-т. - Новосибирск : Изд-во Новосиб. гос. пед. ун-та, 1997. - 166,[1] с. ; 20 см.. - Библиогр.: 165. - ISBN 5-85921-078-7.
ББК В12я73-1
Рубрики: Математическая логика
Доп.точки доступа: Селиванов, В. Л.; Урман, А. Б.; Хуторецкий, Александр Борисович
Найти похожие
| |
| 2. | 1999к/650
Фреге, Готлоб (1848-1925).
Избранные работы : [пер. с нем.] / Готлоб Фреге ; [сост. В. В. Анашвили, А. Л. Никифоров]. - Москва : Дом интеллектуальной книги : Анашвили, 1997. - 159 с. ; 22 см. - 3000 экз.. - ISBN 5-7333-0435-9.
Рубрики: Математическая логика
Доп.точки доступа: Анашвили, В. В. \сост.\; Никифоров, А. Л. \сост.\
Найти похожие
| |
| 3. | 2002б/1275
Содномов, Базар Содномович .
Двенадцать лекций по математической логике : учеб. пособие / Б. С. Содномов ; М-во общ. и проф. образования Рос. Федерации, Якут. гос. ун-т им. М. К. Аммосова. - Якутск : Изд-во ЯГУ, 1998. - 48 с. ; 21 см.. - ISBN 5-7513-0173-0.
ББК 22.12я73
Рубрики: Математическая логика
Доп.точки доступа: Содномов, Базар Содномович
Найти похожие
| |
| 4. | II 1999к/37
Halmos, Paul .
Logic as algebra / Paul Halmos, Steven Givant. - [Washington] : Math. assoc. of America, 1998. - IX, 141 c. ; 23 см. - (Dolciani mathematical expositions ; n 21). - Указ.: с. 135-141. - ISBN 0-88385-327-2.
Перевод заглавия: Логика как алгебра.
ББК В12
Рубрики: Математическая логика
Доп.точки доступа: Halmos, Paul; Givant, Steven
Найти похожие
| |
| 5. | 2000к/15592, 1)
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - М. : Изд-во Моск. центра непрерыв. мат. образования, 1999 - . - 20 см. - (Современные лекционные курсы). - Загл. обл. : Математическая логика и теория алгоритмов. - На обл. авт. не указаны
[Ч. 1] : Начала теории множеств. - 1999. - 126,[1] с. : ил. . - Библиогр.: с. 121-122. - Предм. указ.: с. 123-126. - Указ. имен: с. 127. - 3000 экз.. - ISBN 5-900916-36-7.
ББК В12я73-2 В127я73-2 В161.41я73-2
Рубрики: Множеств теория (ч. 1)
Математическая логика
Алгоритмы
Доп.точки доступа: Шень, А. Х.
Найти похожие
| |
| 6. | 2001к/22237
Гамова, Алла Николаевна .
Математическая логика и теория алгоритмов : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Изд-во Сарат. ун-та, 1999. - 75,[1] с. ; 21 см.. - Библиогр.: с. 76. - ISBN 5-292-02362-0.
ББК 22.12я73
Рубрики: Математическая логика
Алгоритмы
Доп.точки доступа: Гамова, Алла Николаевна
Найти похожие
| |
| 7. | 2001к/21313
Валидов, Фарит Искандерович .
Введение в теорию формального вывода программ / Валидов Ф. И. ; М-во общ. и проф. образования Рос. Федерации, М-во образования Респ. Татарстан, Ин-т экономики, упр. и права. - Казань : Таглимат, 1999. - 99 с. ; 21 см.
ББК 32.973.26-018
Рубрики: Компьютеры персональные - Программное обеспечение
Математическая логика
Доп.точки доступа: Валидов, Фарит Искандерович
Найти похожие
| |
| 8. | 2001к/9903
Каширин, Игорь Юрьевич .
Основы формальных систем : учеб. пособие / И. Ю. Каширин, Л. В. Маликова, В. В. Маркова ; Под ред. И. Ю. Каширина; М-во образования Рос. Федерации, Науч.-информ. центр проблем интеллектуал. собственности. - М. : НИЦПРИС, 1999. - 84 с. : ил. ; 21 см.. - Библиогр.: с. 83. - ISBN 5-900881-10-5.
ББК 22.12я73
Рубрики: Математическая логика
Доп.точки доступа: Каширин, Игорь Юрьевич; Маликова, Лариса Вячеславовна; Маркова, Вера Валерьевна
Найти похожие
| |
| 9. | 2001к/5683
Лыскова, Вероника Юрьевна .
Логика в информатике / В. Ю. Лыскова, Е. А. Ракитина. - М. : Информатика и образование, 1999. - 139,[2] с. : ил. ; 20 см.. - (Серия "Информатика в школе"). - Библиогр.: с. 139. - ISBN 5-900618-13-7.
ББК 74.263.2
Рубрики: Компьютеры - Логические элементы
Математическая логика
Доп.точки доступа: Лыскова, Вероника Юрьевна; Ракитина, Елена Александровна
Найти похожие
| |
| 10. | Ак.с.
2001к/12813
Карпенко, Александр Степанович .
Логики Лукасевича и простые числа / А. С. Карпенко ; [Рос. акад. наук, Ин-т философии]. - М. : Наука, 2000. - 318,[1] с. : ил. ; 22 см.. - Библиогр.: с. 283-308. - Имен. указ.: с. 309-313. - Загл. на доп.тит.л.: Lukasiewicz's logics and prime numbers.. - ISBN 5-02-013048-6.
ББК 22.12
Рубрики: Математическая логика
Доп.точки доступа: Карпенко, Александр Степанович
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК