9 Книги 2 Авторефераты диссертаций см. все ...

1 Верещагин, Н. К. (род. 1958) 1 Дашков, Е. В. (род. 1986) 1 Клини, С. К. (1909—1994) 1 Пахомов, Ф. Н. 1 Ручкин, В. Н. 1 Столяр, А. А. (1919—1993) больше ... 1 Шапорев, С. Д. см. все ... меньше ...

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ 7 МАТЕМАТИЧЕСКАЯ ЛОГИКА 6 ПРЕДИКАТОВ ИСЧИСЛЕНИЕ 2 АЛГОРИТМОВ ТЕОРИЯ 2 АФФИННЫЕ ПРЕОБРАЗОВАНИЯ 2 ВЕКТОРНЫЕ ПРОСТРАНСТВА больше ... 2 ВЫЛІЧЭННЕ ВЫКАЗВАННЯЎ 2 ГРУППЫ ПРЕОБРАЗОВАНИЙ 2 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 2 МАТЕМАТИКА 2 МАТЭМАТЫЧНАЯ ЛОГІКА 2 МЕТРИЧЕСКИЕ ПРОСТРАНСТВА 2 МОДАЛЬНАЯ ЛОГИКА 2 ПРЕДИКАТЫ (мат.) 2 РЕКУРСИВНЫЕ ФУНКЦИИ 2 ФУНКЦИОНАЛЬНЫЕ РЯДЫ 2 ЭКСПЕРТНЫЕ СИСТЕМЫ 1 PROLOG (язык программирования) 1 БАЗЫ ЗНАНИЙ 1 БУЛЕВА АЛГЕБРА 1 ВЫЧИСЛИМОСТИ ТЕОРИЯ 1 ДОКАЗАТЕЛЬСТВ ТЕОРИЯ 1 ИНТЕГРИРОВАННЫЕ СРЕДЫ 1 ИНТУИЦИОНИЗМ 1 КВАНТОВЫЕ КОМПЬЮТЕРЫ 1 КЛАССИЧЕСКАЯ ЛОГИКА 1 ЛАГІЧНЫЯ ЗАДАЧЫ 1 ЛОГІКА 1 ЛОГИКА 1 ЛОГИКА ВЫСКАЗЫВАНИЙ см. все ... меньше ...

2 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 1 ЗАДАЧНИК С РЕШЕНИЯМИ 1 МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ 1 ПРАКТИКУМ ДЛЯ ВУЗОВ 1 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 1 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ УЧИТЕЛЕЙ СРЕДНЕЙ ШКОЛЫ см. все ...

1 Физико-математическое наследие см. все ...

4 Москва 2 Санкт-Петербург 1 Витебск см. все ...

11 Русский 1 Английский см. все ...