+7 495 744-00-12 доб. 123
По вопросам использования Образовательной платформы "Юрайт"
Email: help@urait.ru
+7 495 744-00-12 доб. 126
По вопросам обучения в Юрайт.Академии
Email: school@urait.ru
Вебинар:
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Используют:
113
вузов
65
преподавателей
237
студентов
Избранное
бакалавриат
магистратура
специалитет
аспирантура
342 зачетных единицы
72 академ/часа
4 часа в неделю
Доступно к покупке
- О курсе
- Программа курса
- Методика
О курсе
В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Математика и статистика / Математика: общие работыОбщественные науки / Логика
Дисциплины
Дискретная математика и математическая логика ,
Математическая логика и теория алгоритмов ,
Дополнительные главы дискретной математики, математической логики ,
Математическая логика ,
Теория графов и математическая логика ,
дискретная математика, математическая логика и их приложения в информатике и компьютерных науках ,
Логика и алгоритмы ,
Логика и математика для дошкольников ,
Формирование логико-математических представлений ,
Современные проблемы математической логики и теории алгоритмов ,
Математическая логика, теория графов и алгоритмов ,
Основы математической логики и теории алгоритмов ,
Основы логики и теории графов ,
Математическая логика и формальные языки ,
Математическая логика и теория графов ,
Математическая логика и теория алгоритм ,
Математическая логика в обучении математики ,
Элементы математической логики и теории алгоритмов в школьном курсе математики ,
Алгебра и математическая логика ,
Прикладная теория алгоритмов и математической логики в вычислительной технике ,
Математическая логика и дискретная математика ,
Математическая логика и теория алгоритмов Высшей математики ,
Прикладная математика и математическая логика ,
Основы математической логики и теория множеств ,
Основы математической логики ,
Основы математической логики и информатики ,
Элементы математической логики и теории множеств ,
Математическая логика и теория ,
Основы цифровых устройств и математическая логика ,
Логика высказываний и булевы алгебры ,
Функции алгебры логики ,
Теория и методика логико-математического развития детей ,
Специальные разделы математической логики ,
Математическая логика и конечные автоматы ,
Математическая логика и теория алгоритмов в машиностроении ,
Введение в математическую логику ,
Применение математической логики в системах управления ,
Логика и дискретная математика
Направления подготовки/Специальности/Профессии
25.03.03 Аэронавигация,
44.03.02 Психолого-педагогическое образование,
38.03.01 Экономика,
15.05.01 Проектирование технологических машин и комплексов,
42.03.01 Реклама и связи с общественностью,
38.04.02 Менеджмент,
01.04.01 Математика,
01.03.05 Статистика,
27.03.05 Инноватика,
27.04.01 Стандартизация и метрология,
44.03.04 Профессиональное обучение (по отраслям),
44.03.05 Педагогическое образование (с двумя профилями подготовки),
45.03.04 Интеллектуальные системы в гуманитарной сфере,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
09.03.01 Информатика и вычислительная техника,
27.03.04 Управление в технических системах,
10.03.01 Информационная безопасность,
01.03.01 Математика,
01.03.04 Прикладная математика,
45.03.02 Лингвистика,
09.03.04 Программная инженерия,
11.03.02 Инфокоммуникационные технологии и системы связи,
09.03.03 Прикладная информатика,
09.06.01 Информатика и вычислительная техника,
02.03.03 Математическое обеспечение и администрирование информационных систем,
09.03.02 Информационные системы и технологии,
27.03.02 Управление качеством,
45.03.03 Фундаментальная и прикладная лингвистика,
38.03.05 Бизнес-информатика,
44.03.01 Педагогическое образование,
09.04.03 Прикладная информатика,
02.04.03 Математическое обеспечение и администрирование информационных систем,
09.04.02 Информационные системы и технологии,
09.04.01 Информатика и вычислительная техника,
01.06.01 Математика и механика,
01.03.02 Прикладная математика и информатика,
10.05.03 Информационная безопасность автоматизированных систем,
12.03.01 Приборостроение,
11.05.02 Специальные радиотехнические системы,
11.05.01 Радиоэлектронные системы и комплексы,
11.03.04 Электроника и наноэлектроника,
11.03.03 Конструирование и технология электронных средств,
11.03.01 Радиотехника,
10.05.05 Безопасность информационных технологий в правоохранительной сфере,
10.05.04 Информационно-аналитические системы безопасности,
12.03.02 Оптотехника,
10.05.02 Информационная безопасность телекоммуникационных систем,
10.05.01 Компьютерная безопасность,
02.04.02 Фундаментальная информатика и информационные технологии,
02.03.02 Фундаментальная информатика и информационные технологии,
02.03.01 Математика и компьютерные науки,
01.04.02 Прикладная математика и информатика,
01.03.03 Механика и математическое моделирование,
15.03.06 Мехатроника и робототехника,
24.03.02 Системы управления движением и навигация,
23.05.03 Подвижной состав железных дорог,
23.03.03 Эксплуатация транспортно-технологических машин и комплексов,
23.03.01 Технология транспортных процессов,
19.03.01 Биотехнология,
18.03.02 Энерго- и ресурсосберегающие процессы в химической технологии, нефтехимии и биотехнологии,
16.03.03 Холодильная, криогенная техника и системы жизнеобеспечения,
16.03.01 Техническая физика,
27.03.03 Системный анализ и управление,
15.03.04 Автоматизация технологических процессов и производств,
14.03.01 Ядерная энергетика и теплофизика,
13.03.02 Электроэнергетика и электротехника,
12.05.01 Электронные и оптико-электронные приборы и системы специального назначения,
12.03.05 Лазерная техника и лазерные технологии,
12.03.04 Биотехнические системы и технологии,
12.03.03 Фотоника и оптоинформатика
44.03.02 Психолого-педагогическое образование,
38.03.01 Экономика,
15.05.01 Проектирование технологических машин и комплексов,
42.03.01 Реклама и связи с общественностью,
38.04.02 Менеджмент,
01.04.01 Математика,
01.03.05 Статистика,
27.03.05 Инноватика,
27.04.01 Стандартизация и метрология,
44.03.04 Профессиональное обучение (по отраслям),
44.03.05 Педагогическое образование (с двумя профилями подготовки),
45.03.04 Интеллектуальные системы в гуманитарной сфере,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
09.03.01 Информатика и вычислительная техника,
27.03.04 Управление в технических системах,
10.03.01 Информационная безопасность,
01.03.01 Математика,
01.03.04 Прикладная математика,
45.03.02 Лингвистика,
09.03.04 Программная инженерия,
11.03.02 Инфокоммуникационные технологии и системы связи,
09.03.03 Прикладная информатика,
09.06.01 Информатика и вычислительная техника,
02.03.03 Математическое обеспечение и администрирование информационных систем,
09.03.02 Информационные системы и технологии,
27.03.02 Управление качеством,
45.03.03 Фундаментальная и прикладная лингвистика,
38.03.05 Бизнес-информатика,
44.03.01 Педагогическое образование,
09.04.03 Прикладная информатика,
02.04.03 Математическое обеспечение и администрирование информационных систем,
09.04.02 Информационные системы и технологии,
09.04.01 Информатика и вычислительная техника,
01.06.01 Математика и механика,
01.03.02 Прикладная математика и информатика,
10.05.03 Информационная безопасность автоматизированных систем,
12.03.01 Приборостроение,
11.05.02 Специальные радиотехнические системы,
11.05.01 Радиоэлектронные системы и комплексы,
11.03.04 Электроника и наноэлектроника,
11.03.03 Конструирование и технология электронных средств,
11.03.01 Радиотехника,
10.05.05 Безопасность информационных технологий в правоохранительной сфере,
10.05.04 Информационно-аналитические системы безопасности,
12.03.02 Оптотехника,
10.05.02 Информационная безопасность телекоммуникационных систем,
10.05.01 Компьютерная безопасность,
02.04.02 Фундаментальная информатика и информационные технологии,
02.03.02 Фундаментальная информатика и информационные технологии,
02.03.01 Математика и компьютерные науки,
01.04.02 Прикладная математика и информатика,
01.03.03 Механика и математическое моделирование,
15.03.06 Мехатроника и робототехника,
24.03.02 Системы управления движением и навигация,
23.05.03 Подвижной состав железных дорог,
23.03.03 Эксплуатация транспортно-технологических машин и комплексов,
23.03.01 Технология транспортных процессов,
19.03.01 Биотехнология,
18.03.02 Энерго- и ресурсосберегающие процессы в химической технологии, нефтехимии и биотехнологии,
16.03.03 Холодильная, криогенная техника и системы жизнеобеспечения,
16.03.01 Техническая физика,
27.03.03 Системный анализ и управление,
15.03.04 Автоматизация технологических процессов и производств,
14.03.01 Ядерная энергетика и теплофизика,
13.03.02 Электроэнергетика и электротехника,
12.05.01 Электронные и оптико-электронные приборы и системы специального назначения,
12.03.05 Лазерная техника и лазерные технологии,
12.03.04 Биотехнические системы и технологии,
12.03.03 Фотоника и оптоинформатика
Материалы курса
Лекции22
Видео1
Тесты6
Задания52
Поделиться курсом
Курсы по теме:
Используют:
143
вуза
83
преподавателя
658
студентов
Более 10 000 учебников
Более 2000 курсов
Тесты и задания платформы
