Поисковый запрос: <.>R=27.03$<.> |
Общее количество найденных документов : 60
Показаны документы с 1 по 10 |
|
1. 
| 22.1
С 81
Столяр, Абрам Аронович.
Логическое введение в математику [Текст] / А. А. Столяр. - Минск : Вышэйшая школа, 1971. - 222 с. - 19000 экз.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 2
Аб. (2)
Свободны: Аб. (2)
Найти похожие
|
2.
| 22.1
С 89
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов : учебник для вузов / С. В. Судоплатов, Е. В. Овчинникова. - М. : ИНФРА-М ; Новосибирск : Новосибирский гос. технический университет, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- алгоритмы
Доп.точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 24
Аб. (24)
Свободны: Аб. (24)
Найти похожие
|
3.
| 22.1
Е 80
Ершов, Юрий Леонидович.
Математическая логика [Текст] : учебное пособие для вузов / Ю. Л. Ершов , Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 30000 экз.. - ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 57
Аб. (57)
Свободны: Аб. (57)
Найти похожие
|
4.
| 22.1
У 77
Успенский, Владимир Андреевич.
Что такое нестандартный анализ / В. А. Успенский. - М. : Наука, 1987. - 128 с. - 27 500 экз.. - ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика
Экземпляры всего: 2
Аб. (2)
Свободны: Аб. (2)
Найти похожие
|
5.
| 22.1
Б 90
Будаева, Любовь Николаевна.
Элементы математической логики и комбинаторика [Текст] : учебно-методическое пособие для вузов по специальности "Педагогика и методика начального образования" / Л. Н. Будаева ; ред. Т. Ф. Фролова. - Бийск : Бийский педагогический гос. университет им. В. М. Шукшина, 2008. - 63 с. - 100 экз.. - ISBN 978-5-85127-451-0ББК 22.12 я73 + 22.14 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--АЛГЕБРА
Кл.слова (ненормированные):
элементарная алгебра -- математика -- алгебра -- комбинаторные задачи -- труды -- теоремы
Доп.точки доступа:
Фролова, Татьяна Федоровна \ред.\
Экземпляры всего: 36
Аб. (30), Ч.з.№1 (4), Ч.з.№3 (2)
Свободны: Аб. (30), Ч.з.№1 (4), Ч.з.№3 (2)
Найти похожие
|
6.
| 22.1
Л 65
Лихтарников, Леонид Моисеевич.
Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. : Лань, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 2 000 экз.. - ISBN 978-5-8114-0082-9ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
понятие высказываний -- алгебра буля -- закон двойственности -- исчисление высказываний -- понятие вывода -- правила выводимости -- кванторные операции -- логика предикатов -- математические теории -- алгоритмы
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 5
Аб. (5)
Свободны: Аб. (5)
Найти похожие
|
7.
| 22.1
Л 13
Лавров, Игорь Андреевич.
Математическая логика : учебное пособие для студентов вузов / И. А. Лавров ; ред. Л. Л. Максимова. - М. : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика). - 3 000 экз.. - ISBN 5-7695-2735-8
Рекомендовано Мин. образованияББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алгебраические системы -- логические системы -- классические алгебраические системы -- построение логических исчислений -- исчисление высказываний -- исчисление предикатов -- теория множеств -- числовые теории -- геометрические теории
Доп.точки доступа:
Максимова, Л. Л. \ред.\
Экземпляры всего: 20
Аб. (20)
Свободны: Аб. (20)
Найти похожие
|
8.
| 22.1
И 26
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по специальности "Математика" / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - 2 000 экз.. - ISBN 5-7695-3728-0
Рекомендовано отраслевым мин-вомББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- нормальные формы для формул алгебры высказываний -- логико-математическая практика -- булевы функции -- формализованное исчисление высказываний -- логика предикатов -- формализованное исчисление предикатов -- элементы теории алгоритмов -- машины Тьюринга -- рекурсивные функции -- нормальные алгоритмы Маркова
Экземпляры всего: 20
Аб. (19), Ч.з.№1 (1)
Свободны: Аб. (19), Ч.з.№1 (1)
Найти похожие
|
9.
| 22.1
И 26
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - 1 500 экз.. - ISBN 978-5-76954593-1
Рекомендовано Мин. образованияББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления
Экземпляры всего: 20
Аб. (20)
Свободны: Аб. (20)
Найти похожие
|
10.
| 22.1
И 26
Игошин, Владимир Иванович.
Задачник-практикум по математической логике : учебное пособие для студентов-заочников физико-математических факультетов пед. вузов / В. И. Игошин. - М. : Просвещение, 1986. - 157 с. : ил. - 25 000 экз.
Рекомендовано Мин. образованияББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- задачи по математической логике
Экземпляры всего: 19
Аб. (19)
Свободны: Аб. (19)
Найти похожие
|
|
|
|
Каталог книг
Стандартный
Главная
Описание