Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Машина Тьюринга



КнигаСтраницы для поиска
Яблонский С.В. — Введение в дискретную математику113, 118
Верещагин Н.К., Шень А. — Вычислимые функции6, 112, 113, 115, 117, 125, 132, 153, 156, 157
Мендельсон Э. — Введение в математическую логику251—253
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ838
Шеннон К. — Работы по теории информации и кибернетике165, 740
Клини С. — Математическая логика282 и след., 318, 393
Непейвода Н.Н., Скопин И.Н. — Основания программирования848
Биркгоф Г., Барти Т. — Современная прикладная алгебра94
Ершов Ю.Л., Палютин Е.А. — Математическая логика242, 248
Мальцев А.И. — Алгоритмы и рекурсивные функции14, 219
Китаев А., Шень А., Вялый М. — Классические и квантовые вычисления16
Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика260
Уэзерелл Ч. — Этюды для программистов71—75
Хренников А.Ю. — Моделирование процессов мышления в p-адических системах координат68
Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии12
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики109
Лаллеман Ж. — Полугруппы и комбинаторные приложения155
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции9, 18, 20
Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов11
Степанов С.А. — Арифметика алгебраических кривых343, 344
Белоусов А.И., Ткачев С.Б. — Дискретная математика570
Гэри М., Джонсон Д. — Вычислительные машины и труднорешаемые задачи24, 46
Мартин-Лёф П. — Очерки по конструктивной математике21
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера155
Фу К. — Структурные методы в распознавании образов50
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения66, 233
Эбелинг В., Энгель А., Файстель Р. — Физика процессов эволюции116
Хант Э. — Искусственный интеллект49
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера143
Гладкий А.В. — Математическая логика282
Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике213
Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств159
Хантер Р. — Проектирование и конструирование компиляторов30, 199
Виноградов И.М. — Математическая энциклопедия. Предметный указательI—819; V—456
Пуаза Б. — Курс теории моделей7.f
Матиясевич Ю.В. — Десятая проблема Гильберта65
Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. — Введение в теорию автоматов29
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов122
Месарович М., Такахара Я. — Общая теория систем: математические основы253
Осуга С., Саэки Ю. — Приобретение знаний180
Борковский А.Б. — Англо-русский словарь по программированию и информатике265
Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач331
Пратт Т. — Языки программирования. Разработка и реализация545
Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог79, 182
Успенский В.А. — Лекции о вычислимых функциях419
Сингх С. — Книга шифров. Тайная история шифров и их расшифровки190—205
Кергаль М. — Методы программирования на Бейсике11
Гаек П., Гавранек Т. — Автоматическое образование гипотез22
Лернер А.Я. — Начала кибернетики186 и д.
Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия578
Яблонский С.В. — Введение в дискретную математику113, 118
Рассел С., Норвиг П. — Искусственный интеллект: современный подход44 881
Бердж В. — Методы рекурсивного программирования48
Мао В. — Современная криптография: теория и практика119
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию52, 94, 123
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник563
Брукшир Д.Г. — Введение в компьютерные науки. Общий обзор570, 577, 633
Босс В. — Лекции по математике. Том 1041
Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации611, 720
Кудрявцев В.Б., Подколзин А.С., Болотов А.А. — Основы теории однородных структур35
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование17
Зиглер К. — Методы проектирования программных систем177
Крупский В.Н. — Введение в сложность вычислений. Методы современной математики. Выпуск 211
Ивенс Д. — Системы параллельной обработки86
Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту45
Анисимов А.В. — Рекурсивные преобразователи информации29, 104
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс373
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь105
Клини С.К. — Математическая логика282, 318, 393
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций157, 158
Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений17, 330, 331
Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект176, 247, 257, 258—260, 276, 289, 301
Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач331
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга13, 23
Мендельсон Э. — Введение в математическую логику251—253
Нильсен М., Чанг И. — Квантовые вычисления и квантовая информация22, 166
Гришкин И.И. — Понятие информации. Логико-методолгический аспект.184, 190, 197
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов242, 248
Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики210, 212, 219
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте