Математична логіка
Підтеми:
Документи:
- Введение в математическую логику [Текст] / пер. с англ. Ф.А. Кабакова; под ред. С.И. Адяна. — 3-е изд. — М. : Наука, 1984. — 319 с.
- Введение в математическую логику [Текст] = Introduction to Mathematical Logic / А. Чёрч; пер. с англ. В.С. Чернявского; под ред. В.А. Успенского. — М. : Изд-во иностр. лит., 1960. — 485 с.
- Элементы математической логики [Текст] = Математическая логика и основания математики / П.С. Новиков. — М. : Физматгиз, 1959. — 400 с.
- Збірник задач і вправ з математичної логіки [Текст] : навч. посіб. / МАУП. — К. : Персонал, 2008. — 114 с.
- Математическая логика и автоматическое доказательство теорем [Текст] / пер. с англ. Г.В. Давыдова, Г.Е. Минца, А.В. Сочилиной; под ред. С.Ю. Маслова. — М. : Наука, 1983. — 358 с.
- О логике конструктивной математики [Текст] / А.А. Марков. — М. : Знание, 1972. — 47 с.
- Основи дискретної математики [Текст] : навч. посіб. / Харківський національний економічний університет. — Х. : ІНЖЕК, 2009. — 319 с.
- Основи дискретної математики [Текст] : навч. посіб. / Харківський національний економічний університет. — Х. : ХНЕУ, 2007. — 343 с.
- От алгоритмов - к суждениям [Текст] : эксперименты по обучению элементам математического мышления / вступ. ст. А.И. Берга, Б.В. Бирюкова, А.А. Столяра. — М. : Сов. радио, 1973. — 287 с.
- Теория алгорифмов и математическая логика [Текст] / под ред. Б.А. Кушнера, Н.М. Нагорного; АН СССР, Вычислительный центр. — М. : ВЦ АН СССР, 1974. — 216 с.
|
