Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 365
Показаны документы с 1 по 10 |
|
1. | 1999к/650
Фреге, Готлоб (1848-1925). Избранные работы : [пер. с нем.] / Готлоб Фреге ; [сост. В. В. Анашвили, А. Л. Никифоров]. - Москва : Дом интеллектуальной книги : Анашвили, 1997. - 159 с. ; 22 см. - 3000 экз.. - ISBN 5-7333-0435-9. Рубрики: Математическая логика Доп.точки доступа: Анашвили, В. В. \сост.\; Никифоров, А. Л. \сост.\ Найти похожие
| |
2. | 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) Математическая логика Алгоритмы Доп.точки доступа: Шень, А. Х. Найти похожие
| |
3. | 2001к/6550
Босова, Людмила Леонидовна . Арифметические и логические основы ЭВМ / Л. Л. Босова. - М. : Информатика и образование, 2000. - 207 с. : ил. ; 20 см.. - (Серия "Информатика в школе"). - Библиогр.: с. 206-207. - ISBN 5-900618-15-3. ББК 32.973.26-04 З973.4-047 Рубрики: Компьютеры - Арифметические операции Математическая логика Доп.точки доступа: Босова, Людмила Леонидовна Найти похожие
| |
4. | 2001к/5683
Лыскова, Вероника Юрьевна . Логика в информатике / В. Ю. Лыскова, Е. А. Ракитина. - М. : Информатика и образование, 1999. - 139,[2] с. : ил. ; 20 см.. - (Серия "Информатика в школе"). - Библиогр.: с. 139. - ISBN 5-900618-13-7. ББК 74.263.2 Рубрики: Компьютеры - Логические элементы Математическая логика Доп.точки доступа: Лыскова, Вероника Юрьевна; Ракитина, Елена Александровна Найти похожие
| |
5. | 2001к/11696
Селиванов, В. Л. . Краткий курс математической логики : учеб. пособие / В. Л. Селиванов, А. А. Урман, А. Б. Хуторецкий ; М-во общ. и проф. образования Рос. Федерации, Новосиб. гос. пед. ун-т. - Новосибирск : Изд-во Новосиб. гос. пед. ун-та, 1997. - 166,[1] с. ; 20 см.. - Библиогр.: 165. - ISBN 5-85921-078-7. ББК В12я73-1 Рубрики: Математическая логика Доп.точки доступа: Селиванов, В. Л.; Урман, А. Б.; Хуторецкий, Александр Борисович Найти похожие
| |
6. | 2001к/9903
Каширин, Игорь Юрьевич . Основы формальных систем : учеб. пособие / И. Ю. Каширин, Л. В. Маликова, В. В. Маркова ; Под ред. И. Ю. Каширина; М-во образования Рос. Федерации, Науч.-информ. центр проблем интеллектуал. собственности. - М. : НИЦПРИС, 1999. - 84 с. : ил. ; 21 см.. - Библиогр.: с. 83. - ISBN 5-900881-10-5. ББК 22.12я73 Рубрики: Математическая логика Доп.точки доступа: Каширин, Игорь Юрьевич; Маликова, Лариса Вячеславовна; Маркова, Вера Валерьевна Найти похожие
| |
7. | 2001к/11132
Зиновьев, Александр Александрович . Очерки комплексной логики / А. Зиновьев ; Отв. ред. Е. А. Сидоренко. - М. : Эдиториал УРСС, 2000. - 557,[1] с. : портр. ; 21 см.. - Библиогр.: с. 174-177, 204-206. - ISBN 5-8360-0125-1. ББК 22.12 Ю4,0 В121 Рубрики: Математическая логика Доп.точки доступа: Зиновьев, Александр Александрович; Сидоренко, Е. А. \ред.\ Найти похожие
| |
8. | 2001к/3343
Лукас, Вильмар Адольфович . Основы фази-управления : учеб. пособие для студентов вузов, обучающихся по направлению "Автоматизация и упр." / В. А. Лукас ; М-во образования Рос. Федерации, Урал. гос. горно-геол. акад. - Екатеринбург : УГГГА, 2000. - 61 с. : ил. ; 21 см.. - Библиогр.: с. 60. - ISBN 5-8019-0022-5. ББК 32.965я73 Рубрики: Регуляторы автоматические - математические исследования Математическая логика Доп.точки доступа: Лукас, Вильмар Адольфович Найти похожие
| |
9. | Ак.с. 2001к/4307
Аверкин, Алексей Николаевич . Параметрические логики в интеллектуальных системах управления / А. Н. Аверкин, И. Н. Федосеева ; Рос. акад. наук, Вычисл. центр. - М. : ВЦ РАН, 2000. - 103,[3] с. : ил. ; 21 см.. - Библиогр.: с. 101-104. - ISBN 5-201-14742-9. ББК 32.965 Рубрики: Вычислительные системы управления - математическое моделирование Математическая логика Интеллектуальные системы Доп.точки доступа: Аверкин, Алексей Николаевич; Федосеева, И. Н. Найти похожие
| |
10. | 2001к/22237
Гамова, Алла Николаевна . Математическая логика и теория алгоритмов : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Изд-во Сарат. ун-та, 1999. - 75,[1] с. ; 21 см.. - Библиогр.: с. 76. - ISBN 5-292-02362-0. ББК 22.12я73 Рубрики: Математическая логика Алгоритмы Доп.точки доступа: Гамова, Алла Николаевна Найти похожие
| |
|
|