Официальный портал кафедры АСУ

Сегодня: Четверг 27.06.2019 21-я учебная неделя

авторизация

Учебные материалы

Категорный анализ логики

# Тип Файл Примечание Скачано
1 Category Theory for Computing Science Michael Barr, Charles Wells размер файла: 2.847 МБ 49 раз(а)
2 Pierce_basic_category_theory_for_computer_scientists.djvu размер файла: 5.432 МБ 7 раз(а)
3 Голдблатт Топосы размер файла: 5.716 МБ 127 раз(а)
4 Д. Спивак Категории для ученых размер файла: 4.156 МБ Английский текст 62 раз(а)
5 Ершов , Палютин Математическая логика размер файла: 4.192 МБ 19 раз(а)
6 Клини Математическая логика размер файла: 6.095 МБ 4 раз(а)
7 Лавров Максимова Задачи по теории множеств,математической логике и теории алгоритмов размер файла: 1.643 МБ 243 раз(а)
8 Маклейн Категории для работающих математиков размер файла: 2.735 МБ 13 раз(а)
9 Мендельсон Введение в математическую логику размер файла: 2.631 МБ 18 раз(а)