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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Дизъюнкция



КнигаСтраницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств38
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.457
Новиков П.С. — Конструктивная математическая логика с точки зрения классической11
Верещагин Н.К., Шень А. — Языки и исчисления10
Верещагин Н.К., Шень А. — Вычислимые функции98, 100
Мендельсон Э. — Введение в математическую логику20
Майков Е.В. — Введение в математический анализ11
Яблонский С.В. — Введение в дискретную математику13
Куратовский К. — Топология (том 1)9
Пухальский Г.И., Новосельцева Т.Я. — Цифровые устройства7
Клини С. — Математическая логика14
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь101
Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы263
Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике12
Эдельман С.Л. — Математическая логика15
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы27
Гейтинг А. — Интуиционизм123
Ершов Ю.Л., Палютин Е.А. — Математическая логика22
Нильсон Н. — Искусственный интеллект. Методы поиска решений178
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики22
Никольская И.Л. — Математическая логика12
Гиндикин С.Г. — Алгебра логики в задачах16
Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей36
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование16, 126, 148
Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов25, 35, 46 (см. также «Логическое сложение»)
Степанов С.А. — Арифметика алгебраических кривых244
Кон П. — Универсальная алгебра216
Голдблатт Р. — Топосы. Категорный анализ логики.139, 140
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств11, 77, 80
Белоусов А.И., Ткачев С.Б. — Дискретная математикаI, 25, 385
Гильберт Д., Аккерман В. — Основы теоретической логики24
Фейс Р. — Модальная логика26, 67
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.27, 75
Шиханович Ю.А. — Введение в современную математику. Начальные понятия130, 131
Марков А.А., Нагорный Н.М. — Теория алгорифмов37
фон Нейман Дж., Моргенштерн О. — Теория игр и экономическое поведение92
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера53
Каллан Р. — Основные концепции нейронных сетей195
Победря Б.Е. — Численные методы в теории упругости и пластичности260
Новиков П.С. — Элементы математической логики67
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера50
Гладкий А.В. — Математическая логика65
Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике22
Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств26
Дунаев В. — Самоучитель JavaScript37
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов377, 378
Виноградов И.М. — Математическая энциклопедия. Предметный указательI—124; II—137
Линде Д.П. (ред.) — Справочник по радиоэлектронным устройствам (том 1)389
Пуаза Б. — Курс теории моделей2.a
Гладкий А.В. — Введение в современную логику51, 55
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов46, 47
Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1)12
Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия12
Прасолов В.В. — Задачи по алгебре, арифметике и анализу215
Борковский А.Б. — Англо-русский словарь по программированию и информатике86, 154, 182
Джехани Н. — Язык Адасм. «Логическая операция»
Панов М.И. — Методические проблемы интуиционистской математики64, 83
Варшавский В.И., Поспелов Д.А. — Оркестр играет без дирижера: размышления об эволюции некоторых технических систем и управлении ими103
Успенский В.А. — Лекции о вычислимых функциях57, 58, 72
Фёдоров В.М. — Теория функций и функциональный анализ. Часть 112
Слэйгл Дж. — Искусственный интелект95
3алманзон Л.А. — Беседы об автоматике и кибернетике57
Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах10, 142
Степанов А.Н. — Информатика566
Гаек П., Гавранек Т. — Автоматическое образование гипотез36
Лернер А.Я. — Начала кибернетики174
Яблонский С.В. — Введение в дискретную математику13
Рассел С., Норвиг П. — Искусственный интеллект: современный подход297
Вонг У. — Основы программирования для "чайников"121
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию210, 245, 448
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник26
Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия638, 640, 642
Босс В. — Лекции по математике. Том 1027
Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации27, 393
Рывкин А.А., Рывкин А.З., Хренов Л.С. — Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы105
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование50, 69
Ковальски Р. — Логика в решении проблем212
Варпаховский Ф.Л., Солодовников А.С. — Алгебра30
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах73
Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика.583
Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту55
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики173
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс91, 204
Рыбкин А.А. — Математика. Справочное пособие. Для школьников старших классов и поступающих в вузы141
Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники635
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь53
Калужин Л.А. — Введение в общую алгебру64
Сазонов А.А., Лукичев А.Ю., Николаев В.Т. — Микроэлектронные устройства автоматики5
Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия759
Дикарев В.А., Кольцов В.П., Мельников А.Ф. — Вычислительные методы в задачах радиоэлектроники99, 104, 105, 109, 115, 120
Хаггарти Р. — Дискретная математика для программистов25, 194
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления10
Клини С.К. — Математическая логика14
Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы15
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций12
Новиков П.С. — Элементы математической логики67
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга86, 189
Савельев А. Я — Арифметические и логические основы цифровых автоматов165
Мендельсон Э. — Введение в математическую логику20
Жолков С.Ю. — Математика и информатика для гуманитариев201—202
Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники635
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов22
Бююль А., Цёфель П. — SPSS. Искусство обработки информации107
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе191
Переборов А.С., Брылеев А.М., Смирнова А.В. — Теоретические основы железнодорожной автоматики и телемеханики131, 160
Хаггарти Р. — Дискретная математика для программистов25, 194
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте