Математическая логика и теория алгоритмов
Book information
Description
Учебно-методическое пособие. - Таганрог: Изд-во ТРТУ, 2003. - 65 с. В настоящем пособии изложены основные законы и теоремы математической логики, лежащей в основе современной теории алгоритмов, а также задачи по теории множеств. Пособие предназначено для изучения лекционных курсов "Математическая логика и теория алгоритмов" студентам специальности07500. Подготовлено на кафедре безопасности информационных технологий ТРТУ.
Similar books
Введение в теорию множеств и математическую логику
Збірник вправ і задач з математичної логіки
DJVU
Логические теории временных контекстов (Временная логика)
DJVU
Введение в математическую логику и роды структур
Вокруг теоремы Геделя
Математическая логика и теория алгоритмов
Введение в математическую логику
DOCX