Главная
Биография
Научные труды
Лекции
Программное обеспечение
Дипломники
Материалы студентов
Заметки
Сотрудничество
Услуги
Ссылки
Блог
Контакты

Литература по Математической логике и теории алгоритмов

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

Классическая литература по математической логике

  • Гиндикин С.Г. "Алгебра логики в задачах". М.:Наука. 1972.
  • Столл Р. "Множества. Логика. Аксиоматические теории". М.: Просвещение. 1967.
  • Кемени Дж., Снелл Дж., Томпсон Дж. "Введение в конечную математику". М.:ИЛ. 1963.
  • Калужин Л.А. "Что такое математическая логика". М.: Наука. 1964.
Матлогика Оглавление


Переводы статей

Читаемые курсы лекций

Нейросети Искусственный интеллект Методы оптимизации ПИС Сетевая экономика БД МПИ

ПО ЭИС
НТИС
ФЛП
МатЛогика
Ч.М.Э.
МиИМППР

Курсовые работы и проекты
Каталоги научных журналов

Связь (по всем вопросам) с администратором сайта E-mail: sneveld@rambler.ru
При использовании материалов сайта просьба указывать ссылку http://www.shumkoff.ru и первоисточники (если указаны)
Обмен ссылками
Карта сайта