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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств38
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.457
Новиков П.С. — Конструктивная математическая логика с точки зрения классической10
Яблонский С.В. — Введение в дискретную математику13
Верещагин Н.К., Шень А. — Языки и исчисления10
Верещагин Н.К., Шень А. — Вычислимые функции98, 100
Мендельсон Э. — Введение в математическую логику19
Майков Е.В. — Введение в математический анализ11
Куратовский К. — Топология (том 1)9
Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров15.4—3
Пухальский Г.И., Новосельцева Т.Я. — Цифровые устройства7
Клини С. — Математическая логика14
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь101
Куратовский К., Мостовский А. — Теория множеств11
Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике11
Эдельман С.Л. — Математическая логика14
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы27
Гейтинг А. — Интуиционизм122
Ершов Ю.Л., Палютин Е.А. — Математическая логика33
Нильсон Н. — Искусственный интеллект. Методы поиска решений177
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики22
Никольская И.Л. — Математическая логика12
Гиндикин С.Г. — Алгебра логики в задачах15
Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей36
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование16
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции133, 145
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах245, 251, 264, 305
Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов25, 36, 46, 50, 51 (см. также «Логическое умножение»)
Степанов С.А. — Арифметика алгебраических кривых244
Кон П. — Универсальная алгебра216
Голдблатт Р. — Топосы. Категорный анализ логики.139, 140
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств11, 77, 80
Белоусов А.И., Ткачев С.Б. — Дискретная математикаI, 25, 385
Гильберт Д., Аккерман В. — Основы теоретической логики24
Фейс Р. — Модальная логика26, 65
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.27, 75
Шиханович Ю.А. — Введение в современную математику. Начальные понятия130, 131
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание275, 367
фон Нейман Дж., Моргенштерн О. — Теория игр и экономическое поведение92
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера53
Гасанов Э.Э., Кудрявцев В.Б. — Теория хранения и поиска информации96
Каллан Р. — Основные концепции нейронных сетей195
Победря Б.Е. — Численные методы в теории упругости и пластичности260
Новиков П.С. — Элементы математической логики67
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера49
Гладкий А.В. — Математическая логика64
Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике21
Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств26
Дунаев В. — Самоучитель JavaScript37
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов377, 378
Виноградов И.М. — Математическая энциклопедия. Предметный указательI-124; II-1102
Пуаза Б. — Курс теории моделей2.a
Гладкий А.В. — Введение в современную логику50, 55
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов46, 47
Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1)11
Харари Ф. — Теория графов40, 243
Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия12
Прасолов В.В. — Задачи по алгебре, арифметике и анализу215
Борковский А.Б. — Англо-русский словарь по программированию и информатике19, 63, 141, 155
Джехани Н. — Язык Адасм. «Логическая операция»
Варшавский В.И., Поспелов Д.А. — Оркестр играет без дирижера: размышления об эволюции некоторых технических систем и управлении ими101
Фёдоров В.М. — Теория функций и функциональный анализ. Часть 112
3алманзон Л.А. — Беседы об автоматике и кибернетике56
Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах10
Степанов А.Н. — Информатика566
Гаек П., Гавранек Т. — Автоматическое образование гипотез36
Лернер А.Я. — Начала кибернетики173
Яблонский С.В. — Введение в дискретную математику13
Рассел С., Норвиг П. — Искусственный интеллект: современный подход297
Вонг У. — Основы программирования для "чайников"119
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию245, 452, 457
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник27
Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия633, 635, 636, 638, 641, 642
Себеста Р.У. — Основные концепции языков программирования626
Босс В. — Лекции по математике. Том 1027
Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации27, 392
Рывкин А.А., Рывкин А.З., Хренов Л.С. — Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы105
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование50, 69
Ковальски Р. — Логика в решении проблем211
Гетманова А.Д. — Учебник по логике24, 77—78
Варпаховский Ф.Л., Солодовников А.С. — Алгебра30
Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров15.4—3
Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров.15.4—3
Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров15.4—3
Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров)15.4—3
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах72
Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика.583
Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту55
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики173
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс91, 204
Рыбкин А.А. — Математика. Справочное пособие. Для школьников старших классов и поступающих в вузы141
Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники635
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь90
Калужин Л.А. — Введение в общую алгебру64
Сазонов А.А., Лукичев А.Ю., Николаев В.Т. — Микроэлектронные устройства автоматики5
Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия759
Дикарев В.А., Кольцов В.П., Мельников А.Ф. — Вычислительные методы в задачах радиоэлектроники99, 104, 105, 109
Хаггарти Р. — Дискретная математика для программистов25, 194
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления10
Клини С.К. — Математическая логика14
Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка46, 162, см. также "Конъюнкция сентенциональная"
Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы15
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций12
Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений43
Новиков П.С. — Элементы математической логики67
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга87, 189
Савельев А. Я — Арифметические и логические основы цифровых автоматов165
Мендельсон Э. — Введение в математическую логику19
Жолков С.Ю. — Математика и информатика для гуманитариев201—202
Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники635
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов33
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе191
Переборов А.С., Брылеев А.М., Смирнова А.В. — Теоретические основы железнодорожной автоматики и телемеханики131
Хаггарти Р. — Дискретная математика для программистов25, 194
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте