logo
практикум по мат

Основная литература

  1. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1987.

  2. Судоплатов С.В., Овчинникова Е.В. Математическая логика и

теория алгоритмов. – М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004.

  1. Новиков П.С. Элементы математической логики. – М.: Наука,1973.

  2. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука,1981.

  3. Степанова А.А. Математическая логика и теория алгоритмов. Учеб.пособие.- Находка: Институт технологии и бизнеса, 2003.-56 с.