|
Литература
|
Новиков Ф.А.: Дискретная математика для программистов. - СПб.: Питер, 2008
|
|
Литература
|
Новиков Ф.А.: Дискретная математика для программистов. - СПб.: Питер, 2007
|
|
Литература
|
Лавров И.А.: Математическая логика. - М.: Академия, 2006
|
|
Литература
|
Новиков Ф.А.: Дискретная математика для программистов. - СПб.: Питер, 2004
|
|
Литература
|
Косовский Н.К: Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов. - Л.: Изд-во ЛГУ, 1981
|
|
Литература
|
Гильберт Д.: Основания математики. - М.: Наука, 1979
|
|
Литература
|
АН СССР ; под ред. В.П. Оревкова: Труды математического института им. В.А. Стеклова. - Л.: Наука, 1972
|