Этот курс и более
10 969 других учебников
и курсов будут доступны
при покупке личной
подписки
2 зачетных единицы
72 академ/часа
4 часа в неделю
Доступно к покупке
![](/img/cart-icon.png)
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
![](/img/notice-icon.png)
Скачивание контента в
PDF недоступно
PDF недоступно
Скачивание контента в PDF недоступно
- О курсе
- Авторы
- Программа курса
- Методика
О курсе
В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).
Базовый учебник
Серия
Профессиональное образование
Тематика/подтематика
Математика и статистика / Математика: общие работыОбщественные науки / Логика
Дисциплины
Направления подготовки/Специальности/Профессии
09.02.01 Компьютерные системы и комплексы,
09.02.05 Прикладная информатика (по отраслям),
10.02.03 Информационная безопасность автоматизированных систем,
09.02.04 Информационные системы (по отраслям),
09.02.03 Программирование в компьютерных системах,
09.02.02 Компьютерные сети,
09.02.07 Информационные системы и программирование,
09.02.06 Сетевое и системное администрирование,
09.02.09 Веб-разработка,
09.02.01.П Компьютерные системы и комплексы (профессионалитет),
09.02.07.П Информационные системы и программирование (профессионалитет),
09.02.06.П Сетевое и системное администрирование (профессионалитет),
09.02.09.П Веб-разработка (профессионалитет)
09.02.05 Прикладная информатика (по отраслям),
10.02.03 Информационная безопасность автоматизированных систем,
09.02.04 Информационные системы (по отраслям),
09.02.03 Программирование в компьютерных системах,
09.02.02 Компьютерные сети,
09.02.07 Информационные системы и программирование,
09.02.06 Сетевое и системное администрирование,
09.02.09 Веб-разработка,
09.02.01.П Компьютерные системы и комплексы (профессионалитет),
09.02.07.П Информационные системы и программирование (профессионалитет),
09.02.06.П Сетевое и системное администрирование (профессионалитет),
09.02.09.П Веб-разработка (профессионалитет)
Свернуть
Еще 9
Авторы
Лекции
Поляков Владимир Иванович
кандидат технических наук, доцент
Скорубский Владимир Иванович
кандидат технических наук, доцент, почетный работник высшего профессионального образования РФ
Программа курса
Свернуть все темы
Развернуть все темы
Глава 1. Классическая логика высказываний
Время прохождения 623 минуты
- 1.1. Высказывания (20мин.)
- 1.2. Логические связки высказываний (122мин.)
- 1.3. Исчисление высказываний (122мин.)
- 1.4. Алгебра логики высказываний (122мин.)
- 1.5. Приложения булевой алгебры (122мин.)
- Выводы (20мин.)
- Задачи для самостоятельного решения (41мин.)
- Контрольные вопросы и задания (20мин.)
- Тест: Классическая логика высказываний (32мин.)
Свернуть
Развернуть тему
Глава 2. Логика вывода в исчислении высказываний
Время прохождения 326 минут
- 2.1. Аксиоматическая теория высказываний (41мин.)
- 2.2. Методы логического вывода из гипотез (183мин.)
- Выводы (20мин.)
- Задачи для самостоятельного решения (20мин.)
- Контрольные вопросы и задания (41мин.)
- Тест: Логика вывода в исчислении высказываний (20мин.)
Свернуть
Развернуть тему
Глава 3. Логика предикатов
Время прохождения 354 минуты
- 3.1. Исчисление одноместных предикатов (61мин.)
- 3.2. Приложение логики предикатов в теории множеств (102мин.)
- 3.3. Многоместные предикаты (20мин.)
- 3.4. Формулы с кванторами (41мин.)
- 3.5. Нормальные формулы с предикатами (20мин.)
- Выводы (41мин.)
- Задачи для самостоятельного решения (20мин.)
- Контрольные вопросы и задания (41мин.)
- Тест: Логика предикатов (28мин.)
Свернуть
Развернуть тему
Глава 4. Вывод в логике предикатов первого порядка
Время прохождения 261 минута
- 4.1. Логика вывода из гипотез в теории первого порядка (20мин.)
- 4.2. Правила вывода в теории предикатов первого порядка (61мин.)
- 4.3. Унификация предикатов при выводе из гипотез (20мин.)
- 4.4. Алгоритм вывода из гипотез с использованием резолюции в логике предикатов (82мин.)
- Выводы (20мин.)
- Задачи для самостоятельного решения (20мин.)
- Контрольные вопросы и задания (41мин.)
- Тест: Вывод в логике предикатов первого порядка (16мин.)
Свернуть
Развернуть тему
Глава 5. Применение логики в информатике
Время прохождения 548 минут
- 5.1. Описание компьютерных программ в логике (41мин.)
- 5.2. Верификация (доказательство правильности) программ с помощью математической логики (41мин.)
- 5.3. Логика в теории компьютера (143мин.)
- 5.4. Решение задач с прямым использованием логики (122мин.)
- 5.5. Применение логики предикатов в базах данных (41мин.)
- 5.6. Логическое программирование в Прологе (61мин.)
- Выводы (20мин.)
- Задачи для самостоятельного решения (41мин.)
- Контрольные вопросы и задания (20мин.)
- Тест: Применение логики в информатике (18мин.)
Свернуть
Развернуть тему
Глава 6. Неклассическая логика в приложениях
Время прохождения 1172 минуты
- 6.1. Вероятностная логика (102мин.)
- 6.2. Приложения многозначной логики в моделировании схем (143мин.)
- 6.3. Нечеткая логика (346мин.)
- 6.4. Логистика (20мин.)
- 6.5. Темпоральная логика (102мин.)
- 6.6. Интервальная логика Аллена (163мин.)
- 6.7. Философская логика (204мин.)
- Выводы (20мин.)
- Задачи для самостоятельного решения (41мин.)
- Контрольные вопросы и задания (20мин.)
- Тест: Неклассическая логика в приложениях (10мин.)
Свернуть
Развернуть тему
Новинки издательства «Юрайт» по дисциплине «Математическая логика» и смежным дисциплинам
Время прохождения 41 минута
Свернуть
Развернуть тему
Методика
Материалы курса
Лекции22
Видео1
Тесты6
Задания51
Поделиться курсом
![](/img/book-subscription-icon.png)
Подписка от 349 ₽/мес.
Курсы по теме:
Используют:
0
вузов
0
преподавателей
0
студентов
Мы используем cookie :)
ООО «Электронное издательство Юрайт» использует файлы cookie с целью персонализации сервисов и повышения удобства пользования веб-сайтом. «Cookie» представляют собой небольшие файлы, содержащие информацию о предыдущих посещениях веб-сайта. Если вы не хотите использовать файлы «cookie», измените настройки браузера.
Попробуйте личную
подписку от 349 ₽/мес
Полный доступ к порталу Юрайт со всеми учебниками, курсами и сервисами на 1, 6 и 12 месяцев
Образовательная платформа для университетов и колледжей. Предлагаем цифровой учебный контент и сервисы для эффективного образования.
Ссылки
ООО «Электронное издательство Юрайт»
Свидетельство о регистрации СМИ 2020
Свидетельство о регистрации СМИ 2020
Ваш IP-адрес: 3.141.7.130
Начать экзамен
У вас на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Начать экзамен
У вас осталось на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Создание новой папки
Выбранная книга издается в нескольких томах (частях), рекомендуем добавить в корзину следующие книги:
Название | Цена | Заказать |