Наши телефоны:

(499) 155-71-95

многоканальный

(495) 661-11-43

(495) 661-11-04

(495) 661-11-36

(495) 661-11-47

ЗАКАЗАТЬ ЗВОНОК
В плане

Сортировать по: названию | автору

Название Код Автор
1. Алешина Н. А. и др. Логика и компьютер: моделирование рассуждений и проверка правильности программ, М. : Наука, 1990. 1134 -
1. Братчиков И. Л. Синтаксис языков  программирования. – Л. , 1976. 1366 -
1. Лихтарников Л. М. , Сукачева Т. Г. Математическая логика. – СПб. , 1998. 2045 -
10. Ч. Чень, Р. Ли Математическая логика и автоматическое доказательство теорем,  М. : Наука, 1983. 3020 -
2. Гладкий А. В. Формальные языки и грамматики. - М. : Наука. Глав. ред. 4976 -
Заказать звонок