ФОРУМ
|
|
|
Литература по Математической логике и теории алгоритмов
- Лихтарников Л.М., Сукачева Т.Г. 'Математическая логика. Курс-лекций. Задачник-практикум и решения.' СПб.: Изд. "Лань". 1999. 288 с.
- Кургалин С.Д., Борзунов С.В., Синицина С.Н. "Задачи по дискретной математике". Изд-во ВГУ. 2011
- Иванов Б.Н. Дискретная математика. Алгоритмы и программы: Учебн. пособие. - М.: Лаборатория Базовых Знаний. 2003. 288 с.
- Колмогоров А.Н,Драгалин А.Г. Математическая логика. - М.: КомКнига. 2006. 240 с.
Классическая литература по математической логике
- Гиндикин С.Г. "Алгебра логики в задачах". М.:Наука. 1972.
- Столл Р. "Множества. Логика. Аксиоматические теории". М.: Просвещение. 1967.
- Кемени Дж., Снелл Дж., Томпсон Дж. "Введение в конечную математику". М.:ИЛ. 1963.
- Калужин Л.А. "Что такое математическая логика". М.: Наука. 1964.
Матлогика Оглавление
|
|
|
