|
Литература
|
Игошин В.И.: Математическая логика и теория алгоритмов. - М.: Академия, 2010
|
|
Литература
|
Сапоженко А.А.: Проблема дедекинда и метод граничных функционалов. - М.: ФИЗМАТЛИТ, 2009
|
|
Литература
|
Новиков Ф.А.: Дискретная математика для программистов. - СПб.: Питер, 2008
|
|
Литература
|
Логачев О.А.: Булевы функции в теории кодирования и криптологии. - М.: МЦНМО, 2004
|