|
|
 |
| Результат поиска |
Поиск книг, содержащих: Вывод
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 21 | | Мендельсон Э. — Введение в математическую логику | 36, 39 | | Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп | 300 | | Клини С. — Математическая логика | 47, 50, 89, 133 | | Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 28, 32 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 477, 478 | | Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты | 175 | | Токхейм Р. — Основы цифровой электроники | 284 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 63 | | Попов Э.В. — Общение с ЭВМ на естественном языке | 98 | | Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 107, 172, 174, 181, 272 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 313 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 226 | | Гладкий А.В. — Формальные грамматики и языки | 28 | | Фейс Р. — Модальная логика | 32, 189 | | Такеути Г. — Теория доказательств | 18, 217 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 45 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 435 | | Бернстайн П. — Против богов: Укрощение риска | 88, 96, 151-153 | | Стелтинг С., Маассен О. — Применение шаблонов Java | 306 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 218 | | Фу К. — Структурные методы в распознавании образов | 14, 107 (см. также «Дерево вывода») | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 47 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 205 | | Гладкий А.В. — Математическая логика | 157, 164, 184 | | Девятков В.В. — Системы искусственного интеллекта | 23 | | Уолл Л., Кристиансен Т., Орвант Д. — Программирование на Perl | 52, 774 | | Рэндал Э., Сугальски Д., Тёч Л. — Perl 6 и Parrot Справочник | 162 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—112, 1092 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 60, 83 | | Аверкин А.Н. — Нечеткие множества в моделях управления и искусственного интеллекта | 173 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 81, 132, 212 | | Уэно Х., Исидзука М. — Представление и использование знаний | | | Осуга С. — Обработка знаний | 34 | | Бишоп Дж. — C# в кратком изложении | 55 | | Йенсен К., Вирт Н. — Паскаль. Руководство для пользователя и описание языка | 9.2 | | Ярмиш Р., Ярмиш Дж. — Основы программирования на языке Ассемблера, книга 2 | 11 | | Лугинский Я.Н. — Словарь по электротехнике | L36, T72 | | Журдэн Ф. — Природа математики | 25, 166 | | Джонстон Г. — Учитесь программировать | 27, 44, 47—66, 195 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 19 | | Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия | 173 | | Подбельский В.В., Фомин С.С. — Программирование на языке Си. Учебное пособие | 69, 192, 252, 325, 331 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 46, 211, 443 | | Подбельский В.В. — Язык Си++: учебное пособие | см. "Операция вывода", "Поток вывода", "Потоковый ввод-вывод" | | Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий. | 261 | | Винер Н. — Кибернетика и общество | 38 | | Джермейн К. — Программирование на IBM/360 | 98 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 313, 348 | | Бочаров В.А., Маркин В.И. — Основы логики | 149 | | Дудаков С.М. — Математическое введение в информатику | 104 | | Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 36 | | Клини С.К. — Математическая логика | 47, 50, 89, 133 | | Мендельсон Э. — Введение в математическую логику | 36, 39 | | Лопатинский. — Разложение полиномиальной матрицы на множители | 19 |
|
|
|
|
О проекте