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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Импликация



КнигаСтраницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.457
Новиков П.С. — Конструктивная математическая логика с точки зрения классической11
Яблонский С.В. — Введение в дискретную математику13
Мендельсон Э. — Введение в математическую логику20
Майков Е.В. — Введение в математический анализ9
Уэйкерли Дж.Ф. — Проектирование цифровых устройств (том 1)273
Клини С. — Математическая логика14
Биркгоф Г., Барти Т. — Современная прикладная алгебра31
Шапиро С.И. — Решение логических и игровых задач7, 23
Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы28, 263
Куратовский К., Мостовский А. — Теория множеств11
Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике12, 89
Эдельман С.Л. — Математическая логика15
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы27
Гейтинг А. — Интуиционизм123
Ершов Ю.Л., Палютин Е.А. — Математическая логика22
Глушков В.М. — Синтез цифровых автоматов196
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики22
Никольская И.Л. — Математическая логика15, 16
Гиндикин С.Г. — Алгебра логики в задачах18
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование88
Степанов С.А. — Арифметика алгебраических кривых244
Кон П. — Универсальная алгебра216
Голдблатт Р. — Топосы. Категорный анализ логики.141
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств11
Белоусов А.И., Ткачев С.Б. — Дискретная математикаI, 25, 385
Гильберт Д., Аккерман В. — Основы теоретической логики24
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.27, 76
Шиханович Ю.А. — Введение в современную математику. Начальные понятия130
Феферман С. — Числовые системы. Основания алгебры и анализа22
Марков А.А., Нагорный Н.М. — Теория алгорифмов43, 54
Александрян Р.А., Мирзаханян Е.А. — Общая топология5
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание137, 198, 269, 275, 292
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера53
Каллан Р. — Основные концепции нейронных сетей195
Победря Б.Е. — Численные методы в теории упругости и пластичности260
Новиков П.С. — Элементы математической логики38, 67
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера50
Гладкий А.В. — Математическая логика67
Девятков В.В. — Системы искусственного интеллекта28
Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике22, 78
Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств26
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов377, 378
Виноградов И.М. — Математическая энциклопедия. Предметный указательI-124; II-524; IV-726
Гладкий А.В. — Введение в современную логику53, 55
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов46
Кофман А. — Введение в теорию нечетких множеств234
Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1)12
Столл Р.Р. — Множества. Логика. Аксиоматические теории72
Попович Н.Г., Ковальчук А.В., Красовский Е.П. — Автоматизация производственных процессов и установок48
Аверкин А.Н. — Нечеткие множества в моделях управления и искусственного интеллекта111
Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия12
Прасолов В.В. — Задачи по алгебре, арифметике и анализу215
Левина И.С. (ред) — Алгоритмический язык АЛГОЛ-60. Пересмотренное сообщениеопределение 3.4.1
Борковский А.Б. — Англо-русский словарь по программированию и информатике130
Панов М.И. — Методические проблемы интуиционистской математики83
Осуга С. — Обработка знаний91
Хавин В.П. — Дифференциальное и интегральное исчисление функций одной переменной24
Успенский В.А. — Лекции о вычислимых функциях57, 59, 72
Фёдоров В.М. — Теория функций и функциональный анализ. Часть 112
Йенсен К., Вирт Н. — Паскаль. Руководство для пользователя и описание языка2.1
Гаазе-Рапопорт М.Г. — Автоматы и живые организмы91
Глушков В.М. — Основы безбумажной информатики530
3алманзон Л.А. — Беседы об автоматике и кибернетике57
Джонстон Г. — Учитесь программировать181, 182
Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах10, 12, 142
Донеддю А. — Евклидова планиметрия16
Гаек П., Гавранек Т. — Автоматическое образование гипотез36
Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия604
Яблонский С.В. — Введение в дискретную математику13
Рассел С., Норвиг П. — Искусственный интеллект: современный подход297
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию61, 452
Аганбегян А.Г., Осипов Г.В. — Количественные методы в социологии99, 100, 104, 105
Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия639, 642
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование50
Ковальски Р. — Логика в решении проблем19
Варпаховский Ф.Л., Солодовников А.С. — Алгебра30
Бунге М. — Причинность. Место принципа причинности в современной науке52, 55
Городецкий Б.Ю. — Новое в зарубежной лингвистике: выпуск XXIV. Компьютерная лингвистика110, 132, см. также "Причинные отношения"
Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика.583, 588
Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту55
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики173
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь65
Калужин Л.А. — Введение в общую алгебру66
Клини С.К. — Математическая логика14
Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка46
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций12
Гаазе-Рапопорт М.Г. — Автоматы и живые организмы. Моделирование поведения живых организмов91
Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект197, 205, 222, 226, 227, 273
Новиков П.С. — Элементы математической логики38, 67
Мееровский Б.В. (ред.) — Английские материалисты XVII в. Собрание произведений в трех томах. Том 2263
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга87, 189
Савельев А. Я — Арифметические и логические основы цифровых автоматов166
Мендельсон Э. — Введение в математическую логику20
Жолков С.Ю. — Математика и информатика для гуманитариев201—203
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов22
Столл Р.Р. — Множества. Логика. Аксиоматические теории72
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе191
Переборов А.С., Брылеев А.М., Смирнова А.В. — Теоретические основы железнодорожной автоматики и телемеханики143
Биркгоф Г., Барти Т. — Современная прикладная алгебра31
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте