Поиск книг, содержащих Логические связки :: Электронная библиотека попечительского совета мехмата МГУ

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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

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

square

Пятый курс

Авторизация

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

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

Поиск книг, содержащих: Логические связки

Книга	Страницы для поиска
Верещагин Н.К., Шень А. — Языки и исчисления	9
Новиков Ф.А. — Дискретная математика для программистов	101
Шапиро С.И. — Решение логических и игровых задач	7
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах	26, 28
Степанов С.А. — Арифметика алгебраических кривых	249
Голдблатт Р. — Топосы. Категорный анализ логики.	139
Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов	376
Сакс Дж.Е. — Теория насыщенных моделей	16
Пападимитриу Х., Стайглиц К. — Комбинаторная оптимизация. Алгоритмы и сложность.	323
Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность	48
Фёдоров В.М. — Теория функций и функциональный анализ. Часть 1	12
Грауэрт Г., Либ И. — Дифференциальное интегральное исчисление	15
Куринной Г.Ч. — Математика. Справочник	44
Босс В. — Лекции по математике. Том 10	27
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления	9
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций	116
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга	86, 189
Жолков С.Ю. — Математика и информатика для гуманитариев	201
Рафаэл Б. — Думающий компьютер	147, 179

О проекте