Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Штрих Шеффера
Книга
Страницы для поиска
Мендельсон Э. — Введение в математическую логику
34
Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике
12
Эдельман С.Л. — Математическая логика
29
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы
27
Глушков В.М. — Синтез цифровых автоматов
196, 249
Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2)
235
Никольская И.Л. — Математическая логика
36
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах
177
Карри Х.Б. — Основания математической логики
417
Мелихов А.Н. — Ориентированные графы и конечные автоматы
368
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера
53
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера
50
Гладкий А.В. — Математическая логика
123
Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике
22
Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств
39
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов
378
Виноградов И.М. — Математическая энциклопедия. Предметный указатель
V—894
Борковский А.Б. — Англо-русский словарь по программированию и информатике
70
Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях
132
3алманзон Л.А. — Беседы об автоматике и кибернетике
58
Миллер Р — Теория переключательных схем. Том 1. Комбинационные схемы
94
Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика.
586
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики
174
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс
207
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга
91
Мендельсон Э. — Введение в математическую логику
34
Степанов А.Н. — Архитектура вычислительных систем и компьютерных сетей
82
Степанов А.Н. — Архитектура вычислительных систем и компьютерных сетей
82
Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики
191
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте