Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 364
Показаны документы с 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
Рубрики: Математическая логика
Алгоритмы
Доп.точки доступа: Гамова, Алла Николаевна
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК