Учебное пособие
Кафедра компьютерных систем в управлении и проектировании
Библиографическая запись:
Оглавление (содержание)
Введение...5
1 Миссия математической логики...7
2 Краткая история логики...29
3 Основы теории множеств...44
4 Пропозициональная логика....78
5 Языки первого порядка....105
6 Аксиоматический метод...131
7 Математическое доказательство...164
8 Алгоритмы и вычислимые функции...199
9 Сложность вычислений....214
Заключение...226
Глоссарий....227
Предметный и персональный указатель...231
Дополнительные главы математики-2
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Заочная форма обучения, план набора 2016 г. План в архиве
Дополнительные главы математики-1
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2015 г. План в архиве
Дополнительные главы математики-2
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2015 г. План в архиве
Математическая логика и теория алгоритмов
27.03.04 Управление в технических системах (Управление в робототехнических системах) Очная форма обучения, план набора 2018 г. План в архиве
Дополнительные главы математики
38.03.01 Экономика (Финансы и кредит) Очная форма обучения, план набора 2015 г. План в архиве
Дополнительные главы математики
38.03.01 Экономика (Финансы и кредит) Заочная форма обучения, план набора 2015 г. План в архиве
Математическая логика и теория алгоритмов
27.03.04 Управление в технических системах (Управление в робототехнических системах) Очная форма обучения, план набора 2016 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2018 г. План в архиве
Математическая логика и теория алгоритмов
27.03.04 Управление в технических системах (Управление в технических системах) Очная форма обучения, план набора 2014 г. План в архиве
Математическая логика
09.03.03 Прикладная информатика (Прикладная информатика в экономике) Очная форма обучения, план набора 2019 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Проектирование и разработка программных продуктов) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
27.03.04 Управление в технических системах (Управление в робототехнических системах) Очная форма обучения, план набора 2015 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2016 г. План в архиве
Дополнительный главы математики-1
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2015 г. План в архиве
Дополнительные главы математики-1
38.03.01 Экономика (Финансы и кредит) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
27.03.04 Управление в технических системах (Управление в робототехнических системах) Очная форма обучения, план набора 2017 г. План в архиве
Математическая логика и теория алгоритмов
09.03.03 Прикладная информатика (Прикладная информатика в экономике) Заочная форма обучения, план набора 2018 г. План в архиве
Дополнительные главы математики-2
38.03.01 Экономика (Финансы и кредит) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2019 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа) Очная форма обучения, план набора 2013 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Заочная форма обучения, план набора 2018 г. План в архиве