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

1 Авдошин, С. М. 1 Ашраф, А. Э. 1 Вербовский, В. В. 1 Витер, Д. А. 1 Герасимов, А. С. 1 Закревский, А. Д. (1928—2014) больше ... 1 Колмаков, Е. А. 1 Корнышов, А. Н. 1 Корухова, Ю. С. 1 Косовский, Н. К. 1 Костырев, И. И. 1 Марченков, С. С. (род. 1945) 1 Оноприенко, А. А. 1 Остроух, А. В. 1 Соловьев, В. Д. 1 Столяр, А. А. (1919—1993) 1 Таргонский, Е. А. 1 Таханов, Р. С. 1 Тишин, В. В. 1 Толкачева, Е.А. 1 Тусупов, Д. А. см. все ... меньше ...

ПРЕДИКАТЫ (мат.) 14 МАТЕМАТИЧЕСКАЯ ЛОГИКА 7 ПРЭДЫКАТЫ (мат.) 5 МАТЭМАТЫЧНАЯ ЛОГІКА 4 ЭКСПЕРТНЫЕ СИСТЕМЫ 3 АЛГОРИТМОВ ТЕОРИЯ больше ... 3 БУЛЕВА АЛГЕБРА 3 ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 3 КОНЕЧНЫЕ АВТОМАТЫ 3 РЕКУРСИВНЫЕ ФУНКЦИИ 2 ДИСКРЕТНАЯ МАТЕМАТИКА 2 ИНТУИЦИОНИСТСКАЯ ЛОГИКА 2 ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ 2 КОМПЬЮТЕРНЫЕ ПРОГРАММЫ 2 ЛОГИКА ВЫСКАЗЫВАНИЙ 2 ПРЕДСТАВЛЕНИЕ ЗНАНИЙ 2 ЭКСПЕРТНЫЯ СІСТЭМЫ 2 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 1 ІНФАРМАЦЫЙНЫЯ МАДЭЛІ 1 АЎТАМАТЫЧНЫ СІНТЭЗ 1 АВТОМАТИЗИРОВАННАЯ ОБРАБОТКА ДАННЫХ 1 АВТОМАТИЧЕСКИЙ СИНТЕЗ 1 АЛГАРЫТМІЗАЦЫЯ 1 АЛГЕБРАИЧЕСКИЕ СТРУКТУРЫ 1 АЛГОРИТМИЗАЦИЯ 1 АЛГОРИТМЫ (мат., информатика) 1 АППРОКСИМАЦИЯ 1 БАЗЫ ВЕДАЎ 1 БАЗЫ ЗНАНИЙ 1 ВЫЛІЧАЛЬНАЯ ТЭХНІКА см. все ... меньше ...

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

1 Бакалавриат и специалитет 1 Материалы по математическому обеспечению ЭВМ 1 Препринт 1 Учебная литература для вузов 1 Учебники для вузов см. все ...

7 Москва 4 Санкт-Петербург 2 Алматы 2 М. 2 Минск 1 Великий Новгород больше ... 1 Витебск 1 Могилев 1 СПб 1 Санкт-Петербург [и др.] 1 Ярославль см. все ... меньше ...

24 Русский 2 Английский 2 Казахский см. все ...