Горячая линия
21 сентября 2021 активны на платформе
35 364 +25
Преподавателя
287 361 +1503
Студент
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Курсы
Курсы
Книги
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!
  • О курсе
  • Авторы
  • Программа курса
  • Методика

О курсе

В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Математика, статистика и механика. / Математика
Гуманитарные и общественные науки. / Логика
Дисциплины
Библиографическое описание
Скорубский, В. И.  Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2021. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2.
Направления подготовки/Специальности/Профессии
02.04.02 Фундаментальная информатика и информационные технологии,
01.03.03 Механика и математическое моделирование,
02.04.03 Математическое обеспечение и администрирование информационных систем,
38.03.05 Бизнес-информатика,
09.03.02 Информационные системы и технологии,
09.03.03 Прикладная информатика,
01.03.01 Математика,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
27.03.04 Управление в технических системах,
10.05.03 Информационная безопасность автоматизированных систем,
02.03.02 Фундаментальная информатика и информационные технологии,
01.03.02 Прикладная математика и информатика,
09.04.01 Информатика и вычислительная техника,
09.04.03 Прикладная информатика,
45.03.03 Фундаментальная и прикладная лингвистика,
02.03.03 Математическое обеспечение и администрирование информационных систем,
09.03.04 Программная инженерия,
10.03.01 Информационная безопасность,
45.03.04 Интеллектуальные системы в гуманитарной сфере,
27.03.03 Системный анализ и управление,
10.05.01 Компьютерная безопасность,
02.03.01 Математика и компьютерные науки,
09.04.02 Информационные системы и технологии,
44.03.01 Педагогическое образование,
27.03.02 Управление качеством,
45.03.02 Лингвистика,
01.03.04 Прикладная математика,
09.03.01 Информатика и вычислительная техника,
27.03.05 Инноватика,
10.05.04 Информационно-аналитические системы безопасности
Свернуть
Еще 26

Авторы

Видеоматериалы
SciOne

Тематика: психология, анатомия, история и др. Формат - сюжеты. Стиль изложения - нейтральный. Не весь контент можно использовать в образовательных целях

Программа курса

Свернуть все темы
Развернуть все темы

Предисловие

Время прохождения 102 минуты
Свернуть
Развернуть тему

Введение

Время прохождения 122 минуты
Свернуть
Развернуть тему

Глава 5. Применение логики в информатике

Время прохождения 548 минут
Свернуть
Развернуть тему

Глава 6. Неклассическая логика в приложениях

Время прохождения 1172 минуты
Свернуть
Развернуть тему

Заключение

Время прохождения 61 минута
Свернуть
Развернуть тему

Рекомендуемая литература

Время прохождения 20 минут
Свернуть
Развернуть тему

Приложение 1

Время прохождения 20 минут
Свернуть
Развернуть тему

Персоналии

Время прохождения 408 минут
Свернуть
Развернуть тему

Приложение 2

Время прохождения 20 минут
Свернуть
Развернуть тему

Лауреаты премии Тьюринга

Время прохождения 122 минуты
Свернуть
Развернуть тему

Приложение 3

Время прохождения 20 минут
Свернуть
Развернуть тему

Решения задач главы 2

Время прохождения 163 минуты
Свернуть
Развернуть тему

Завершение курса

Время прохождения 56 минут
Свернуть
Развернуть тему

Методика

Укажите параметры рабочей программы
Математическая логика
Есть вопросы? Напишите нам

Материалы курса

Лекции22
Видео1
Тесты6
Задания52

Поделиться курсом

Курсы по теме:

48 вузов Преподавателей Студентов