Книга: Курс математической логики и теории вычислимости

Скачать

Пособие предназначено для студентов, специализирующихся по информатике, а также всех тех, кто желает начать систематическое изучение математической логики

Информация о документе

Формат документа: PDF
Кол-во страниц: 284 страницы
Загрузил: Афонин Сергей
Лицензия: —
Доступ: Всем

Информация о книге

ISBN: 9785987092927
Год публикации: 2011
Автор(ы): Александр Сергеевич Герасимов
Библиографическая запись: Герасимов А. С. Курс математической логики и теории вычислимости: Учебное пособие. 3-е изд., испр. и доп. - СПб.: Издательство “ЛЕМА”, 2011. - 284 с.
Ключевые фразы: теория алгоритмов, МАТЕМАТИЧЕСКАЯ ЛОГИКА
Каталог SCI: Математика
ББК: 22.12. Основания математики. Математическая логика
УДК: 004.05. Качество систем и программ
510.2. Основания математики
510.5. Теория алгоритмов и вычислимые функции
510.6. Математическая логика
512.54.05. Алгоритмические задачи в теории групп. Проблема слов