Книги 4 results 4 Авторефераты диссертаций 1 results 1

Вольфенгаген, В. Э. (род. 1948) 1 results 1 Кудрявцева, И. А. 1 results 1 Смаллиан, Р. (род. 1919) 1 results 1 Шамканов, Д. С. 1 results 1

КОМБИНАТОРНАЯ ЛОГИКА МАТЕМАТИЧЕСКАЯ ЛОГИКА 2 results 2 HASKELL (язык программирования) 1 results 1 АППЛИКАТИВНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ 1 results 1 БУЛЕВА АЛГЕБРА 1 results 1 ВЫЧИСЛИМОСТИ ТЕОРИЯ 1 results 1 ДИЗЪЮНКТИВНЫЕ НОРМАЛЬНЫЕ ФОРМЫ 1 results 1 КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ 1 results 1 КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ 1 results 1 КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА 1 results 1 ЛОГИЧЕСКИЕ ЗАДАЧИ 1 results 1 ЛОГИЧЕСКИЕ ОПЕРАЦИИ 1 results 1 ЛОГИЧЕСКИЕ ФУНКЦИИ 1 results 1 ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ (вычисл. техника) 1 results 1 ЛЯМБДА-ИСЧИСЛЕНИЕ 1 results 1 НОРМАЛЬНЫЕ ФОРМЫ (мат.) 1 results 1 ПРОГРАММИРОВАНИЕ 1 results 1 СЛОЖНОСТЬ (мат.) 1 results 1 ФОРМАЛЬНАЯ ЛОГИКА 1 results 1 ФОРМАЛЬНЫЕ СИСТЕМЫ 1 results 1 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 1 results 1 см. все

МЕТОДИЧЕСКИЕ УКАЗАНИЯ 1 results 1 ПРАКТИКУМ ДЛЯ ССУЗОВ 1 results 1 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ УЧАЩИХСЯ ССУЗОВ 1 results 1 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 1 results 1

Библиотека "ЮрИнфоР" 1 results 1 Высшее образование 1 results 1 Перспективный компьютинг как наука и профессия 1 results 1 УМО ВО рекомендует 1 results 1

Москва 4 results 4 Минск 1 results 1

Русский 5 results 5