Учебное пособие
Кафедра автоматизации обработки информации
Библиографическая запись:
Оглавление (содержание)
Введение...4
1.Алгебра высказываний...6
2.Булевы функции...46
3.Логика предикатов...81
4.Теория алгоритмов...106
Заключение ...129
Литература...130
Глоссарий
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Очная форма обучения, план набора 2015 г. План в архиве
Дополнительные главы математики-2
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2014 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Заочная форма обучения, план набора 2016 г. План в архиве
Дополнительные главы математики-1
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2015 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Программная инженерия) Заочная форма обучения, план набора 2012 г. План в архиве
Дополнительные главы математики-2
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2015 г. План в архиве
Дополнительные главы математики
38.03.01 Экономика (Финансы и кредит) Очная форма обучения, план набора 2015 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Очная форма обучения, план набора 2016 г. План в архиве
Дополнительные главы математики
38.03.01 Экономика (Финансы и кредит) Заочная форма обучения, план набора 2015 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа) Заочная форма обучения, план набора 2012 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Заочная форма обучения, план набора 2015 г. План в архиве
Алгоритмы и структуры данных
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2017 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Заочная форма обучения, план набора 2018 г. План в архиве
Алгоритмы и структуры данных
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2018 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2018 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа) Заочная форма обучения, план набора 2013 г. План в архиве
Математическая логика
09.03.03 Прикладная информатика (Прикладная информатика в экономике) Очная форма обучения, план набора 2019 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Проектирование и разработка программных продуктов) Заочная форма обучения, план набора 2014 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Очная форма обучения, план набора 2017 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2016 г. План в архиве
Алгоритмы и структуры данных
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2016 г. План в архиве
Дополнительный главы математики-1
38.03.02 Менеджмент (Управление проектом) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2015 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Заочная форма обучения, план набора 2017 г. План в архиве
Алгоритмы и структуры данных
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2019 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Программная инженерия) Очная форма обучения, план набора 2014 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Заочная форма обучения, план набора 2018 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа с различными категориями населения) Очная форма обучения, план набора 2018 г. План в архиве
Дополнительные главы математики-1
38.03.01 Экономика (Финансы и кредит) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.03 Прикладная информатика (Прикладная информатика в экономике) Заочная форма обучения, план набора 2018 г. План в архиве
Дополнительные главы математики-2
38.03.01 Экономика (Финансы и кредит) Заочная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2019 г. План в архиве
Логика
39.03.02 Социальная работа (Социальная работа) Очная форма обучения, план набора 2013 г. План в архиве