Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 365
Показаны документы с 1 по 10 |
|
1.
| | ___ | _________ | _________________________________________________ |
| 1999к
650
| Фреге, Готлоб (1848-1925).
| |
| Избранные работы : [пер. с нем.] / Готлоб Фреге ; [сост. В. В. Анашвили, А. Л. Никифоров]. - Москва : Дом интеллектуальной книги : Анашвили, 1997. - 159 с. ; 22 см. - 3000 экз.. - ISBN 5-7333-0435-9.
| | |
I. Никифоров, А. Л. (сост.).
| | | | | 98-7738 |
Найти похожие
|
2.
| | ___ | _________ | _________________________________________________ |
| 2000к
15592
1)
|
Верещагин, Николай Константинович. | |
| Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - М. : Изд-во Моск. центра непрерыв. мат. образования, 1999 - . - 20 см. - (Современные лекционные курсы). - Загл. обл. : Математическая логика и теория алгоритмов. - На обл. авт. не указаны
| | | [Ч. 1] : Начала теории множеств. - 1999. - 126,[1] с. : ил. . - Библиогр.: с. 121-122. - Предм. указ.: с. 123-126. - Указ. имен: с. 127. - 3000 экз.. - ISBN 5-900916-36-7.
I. Шень, А. Х. II. Верещагин, Николай Константинович. Начала теории множеств (Загл.). III.
| | | ББК
В12я73-2
В127я73-2
В161.41я73-2
| (99-1844)
| 99-37405 |
Найти похожие
|
3.
| | ___ | _________ | _________________________________________________ |
| 2001к
6550
| Босова, Людмила Леонидовна .
| |
| Арифметические и логические основы ЭВМ / Л. Л. Босова. - М. : Информатика и образование, 2000. - 207 с. : ил. ; 20 см.. - (Серия "Информатика в школе"). - Библиогр.: с. 206-207. - ISBN 5-900618-15-3.
| | |
| | | ББК
32.973.26-04
З973.4-047
| (00-720)
| 00-14838 |
Найти похожие
|
4.
| | ___ | _________ | _________________________________________________ |
| 2001к
5683
| Лыскова, Вероника Юрьевна .
| |
| Логика в информатике / В. Ю. Лыскова, Е. А. Ракитина. - М. : Информатика и образование, 1999. - 139,[2] с. : ил. ; 20 см.. - (Серия "Информатика в школе"). - Библиогр.: с. 139. - ISBN 5-900618-13-7.
| | |
I. Ракитина, Елена Александровна.
| | | ББК
74.263.2
| (00-719)
| 00-14810 |
Найти похожие
|
5.
| | ___ | _________ | _________________________________________________ |
| 2001к
11696
| Селиванов, В. Л. .
| |
| Краткий курс математической логики : учеб. пособие / В. Л. Селиванов, А. А. Урман, А. Б. Хуторецкий ; М-во общ. и проф. образования Рос. Федерации, Новосиб. гос. пед. ун-т. - Новосибирск : Изд-во Новосиб. гос. пед. ун-та, 1997. - 166,[1] с. ; 20 см.. - Библиогр.: 165. - ISBN 5-85921-078-7.
| | |
I. Урман, А. Б. II. Хуторецкий, Александр Борисович.
| | | ББК
В12я73-1
| (838)
| 00-17574 |
Найти похожие
|
6.
| | ___ | _________ | _________________________________________________ |
| 2001к
9903
| Каширин, Игорь Юрьевич .
| |
| Основы формальных систем : учеб. пособие / И. Ю. Каширин, Л. В. Маликова, В. В. Маркова ; Под ред. И. Ю. Каширина; М-во образования Рос. Федерации, Науч.-информ. центр проблем интеллектуал. собственности. - М. : НИЦПРИС, 1999. - 84 с. : ил. ; 21 см.. - Библиогр.: с. 83. - ISBN 5-900881-10-5.
| | |
I. Маликова, Лариса Вячеславовна. II. Маркова, Вера Валерьевна.
| | | ББК
22.12я73
| (00-981)
| 00-20899 |
Найти похожие
|
7.
| | ___ | _________ | _________________________________________________ |
| 2001к
11132
| Зиновьев, Александр Александрович .
| |
| Очерки комплексной логики / А. Зиновьев ; Отв. ред. Е. А. Сидоренко. - М. : Эдиториал УРСС, 2000. - 557,[1] с. : портр. ; 21 см.. - Библиогр.: с. 174-177, 204-206. - ISBN 5-8360-0125-1.
| | |
I. Сидоренко, Е. А. (ред.).
| | | ББК
22.12
Ю4,0
В121
| (1103)
| 00-23258 |
Найти похожие
|
8.
| | ___ | _________ | _________________________________________________ |
| 2001к
3343
| Лукас, Вильмар Адольфович .
| |
| Основы фази-управления : учеб. пособие для студентов вузов, обучающихся по направлению "Автоматизация и упр." / В. А. Лукас ; М-во образования Рос. Федерации, Урал. гос. горно-геол. акад. - Екатеринбург : УГГГА, 2000. - 61 с. : ил. ; 21 см.. - Библиогр.: с. 60. - ISBN 5-8019-0022-5.
| | |
| | | ББК
32.965я73
| (00-1306)
| 00-27658 |
Найти похожие
|
9.
| | ___ | _________ | _________________________________________________ |
| 2001к
4307
| Аверкин, Алексей Николаевич .
| Ак.с.
| Параметрические логики в интеллектуальных системах управления / А. Н. Аверкин, И. Н. Федосеева ; Рос. акад. наук, Вычисл. центр. - М. : ВЦ РАН, 2000. - 103,[3] с. : ил. ; 21 см.. - Библиогр.: с. 101-104. - ISBN 5-201-14742-9.
| | |
I. Федосеева, И. Н.
| | | ББК
32.965
| (00-1328)
| 00-28121 |
Найти похожие
|
10.
| | ___ | _________ | _________________________________________________ |
| 2001к
22237
| Гамова, Алла Николаевна .
| |
| Математическая логика и теория алгоритмов : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Изд-во Сарат. ун-та, 1999. - 75,[1] с. ; 21 см.. - Библиогр.: с. 76. - ISBN 5-292-02362-0.
| | |
| | | ББК
22.12я73
| (00-1843)
| 00-40147 |
Найти похожие
|
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК