Skip to content
QR code of document
510 Л 136
Лавров, Игорь Андреевич.
Логика и алгоритмы : лекции для слушателей факультетов повышения квалификации / И. А. Лавров ; Новосибирский государственный университет. - Новосибирск : Изд-во Новосибирского университета, 1970. - 173 c. : ил.
| УДК | 510.6 | 510.5 |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- частично рекурсивные функции -- теория моделей -- исчислений предикатов -- исчисление высказываний -- алгебра высказываний
Доп.точки доступа:
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)