Вебинар:
Этот курс и более
11 487 других учебников
и курсов будут доступны
при покупке личной
подписки
ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Используют:
0
учебных заведений
0
преподавателей
0
студентов
Избранное
СПО
4 зачетных единицы
144 академ/часа
8 часов в неделю
Доступно к покупке
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
Скачивание контента в
PDF недоступно
PDF недоступно
Скачивание контента в PDF недоступно
Документы о прохождении курсов не выдаются. Преподаватели могут повысить квалификацию:
Документы о прохождении курсов не выдаются. Преподаватели могут повысить квалификацию:
- О курсе
- Авторы
- Программа курса
- Методика
О курсе
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
Базовый учебник
Серия
Профессиональное образование
Тематика/подтематика
Компьютерные и информационные науки / ПрограммированиеДисциплины
Программирование ,
Методы программирования ,
Основы программирования ,
Прикладное программирование ,
Программирование для ЭВМ ,
Элементы математической логики ,
Введение в программирование ,
Программирование на ЭВМ
Направления подготовки/Специальности/Профессии
10.02.03 Информационная безопасность автоматизированных систем,
09.02.04 Информационные системы (по отраслям),
09.02.06.П Сетевое и системное администрирование (профессионалитет),
09.02.01.П Компьютерные системы и комплексы (профессионалитет),
09.02.02 Компьютерные сети,
10.02.04 Обеспечение информационной безопасности телекоммуникационных систем,
09.02.06 Сетевое и системное администрирование,
09.02.12 Техническая эксплуатация и сопровождение информационных систем [ранее 09.02.07 Информационные системы и программирование],
09.02.11 Разработка и управление программным обеспечением [ранее 09.02.07 Информационные системы и программирование],
11.02.18.П Системы радиосвязи, мобильной связи и телерадиовещания [ранее 11.02.08 Средства связи с подвижными объектами и 11.02.10 Радиосвязь, радиовещание и телевидение] (профессионалитет),
27.02.04.П Автоматические системы управления (профессионалитет),
11.02.17.П Разработка электронных устройств и систем [ранее 11.02.01, 11.02.02, 11.02.05] (профессионалитет),
09.02.12.П Техническая эксплуатация и сопровождение информационных систем [ранее 09.02.07 Информационные системы и программирование] (профессионалитет),
44.02.02.П Преподавание в начальных классах (профессионалитет),
11.02.18 Системы радиосвязи, мобильной связи и телерадиовещания [ранее 11.02.08 Средства связи с подвижными объектами и 11.02.10 Радиосвязь, радиовещание и телевидение],
11.02.17 Разработка электронных устройств и систем [ранее 11.02.01, 11.02.02, 11.02.05],
10.02.05 Обеспечение информационной безопасности автоматизированных систем,
18.01.03 Аппаратчик-оператор экологических установок,
09.02.11.П Разработка и управление программным обеспечением [ранее 09.02.07 Информационные системы и программирование] (профессионалитет),
10.02.01 Организация и технология защиты информации,
11.02.09 Многоканальные телекоммуникационные системы,
09.02.03 Программирование в компьютерных системах,
15.02.07 Автоматизация технологических процессов и производств (по отраслям),
27.02.04 Автоматические системы управления,
44.02.02 Преподавание в начальных классах,
11.02.11 Сети связи и системы коммутации,
09.02.05 Прикладная информатика (по отраслям),
09.02.01 Компьютерные системы и комплексы
09.02.04 Информационные системы (по отраслям),
09.02.06.П Сетевое и системное администрирование (профессионалитет),
09.02.01.П Компьютерные системы и комплексы (профессионалитет),
09.02.02 Компьютерные сети,
10.02.04 Обеспечение информационной безопасности телекоммуникационных систем,
09.02.06 Сетевое и системное администрирование,
09.02.12 Техническая эксплуатация и сопровождение информационных систем [ранее 09.02.07 Информационные системы и программирование],
09.02.11 Разработка и управление программным обеспечением [ранее 09.02.07 Информационные системы и программирование],
11.02.18.П Системы радиосвязи, мобильной связи и телерадиовещания [ранее 11.02.08 Средства связи с подвижными объектами и 11.02.10 Радиосвязь, радиовещание и телевидение] (профессионалитет),
27.02.04.П Автоматические системы управления (профессионалитет),
11.02.17.П Разработка электронных устройств и систем [ранее 11.02.01, 11.02.02, 11.02.05] (профессионалитет),
09.02.12.П Техническая эксплуатация и сопровождение информационных систем [ранее 09.02.07 Информационные системы и программирование] (профессионалитет),
44.02.02.П Преподавание в начальных классах (профессионалитет),
11.02.18 Системы радиосвязи, мобильной связи и телерадиовещания [ранее 11.02.08 Средства связи с подвижными объектами и 11.02.10 Радиосвязь, радиовещание и телевидение],
11.02.17 Разработка электронных устройств и систем [ранее 11.02.01, 11.02.02, 11.02.05],
10.02.05 Обеспечение информационной безопасности автоматизированных систем,
18.01.03 Аппаратчик-оператор экологических установок,
09.02.11.П Разработка и управление программным обеспечением [ранее 09.02.07 Информационные системы и программирование] (профессионалитет),
10.02.01 Организация и технология защиты информации,
11.02.09 Многоканальные телекоммуникационные системы,
09.02.03 Программирование в компьютерных системах,
15.02.07 Автоматизация технологических процессов и производств (по отраслям),
27.02.04 Автоматические системы управления,
44.02.02 Преподавание в начальных классах,
11.02.11 Сети связи и системы коммутации,
09.02.05 Прикладная информатика (по отраслям),
09.02.01 Компьютерные системы и комплексы
Свернуть
Еще 24
Авторы
Лекции
Голанова Анна Викторовна
кандидат педагогических наук, доцент
Швецкий Михаил Владимирович
доктор педагогических наук, профессор
Задания
Голанова Анна Викторовна
кандидат педагогических наук, доцент
Швецкий Михаил Владимирович
доктор педагогических наук, профессор
Тесты
Программа курса
Свернуть все темы
Развернуть все темы
Часть 1. ОБЩАЯ ТЕОРИЯ ИСЧИСЛЕНИЙ
Время прохождения 897 минут
- Упражнение 1. Слова в алфавите (481мин.)
- Упражнение 2. Индуктивное определение множества слов в алфавите. Исчисления на словах в алфавите. Формальные доказательства в исчислениях на словах в алфавите (304мин.)
- Тест: ОБЩАЯ ТЕОРИЯ ИСЧИСЛЕНИЙ (86мин.)
Свернуть
Развернуть тему
Часть 2. ИСЧИСЛЕНИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Время прохождения 2599 минут
- Упражнение 3. Язык первого порядка: синтаксис (481мин.)
- Упражнение 4. Гильбертовское исчисление первого порядка: построение доказательств и выводов с использованием основных правил вывода (304мин.)
- Упражнение 5. Гильбертовское исчисление первого порядка: установление существования доказательств и выводов с помощью допустимых правил вывода (241мин.)
- Упражнение 6. Исчисление дедуктивных эквивалентностей. Предварённая и сколемовская нормальная форма (114мин.)
- Упражнение 7. Моносукцедентное секвенциальное исчисление первого порядка (456мин.)
- Упражнение 8. Многосукцедентное секвенциальное исчисление первого порядка (241мин.)
- Упражнение 9. Генценовское исчисление натурального вывода (215мин.)
- Упражнение 10. Метод аналитических таблиц для формул языка первого порядка (152мин.)
- Упражнение 11. Понятие о математических теориях. Теория равенства (152мин.)
- Упражнение 12. Язык термов сигнатуры σ (101мин.)
- Тест: ИСЧИСЛЕНИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ (116мин.)
Свернуть
Развернуть тему
Часть 3. АВТОМАТИЗАЦИЯ ПОИСКА ЛОГИЧЕСКОГО ВЫВОДА
Время прохождения 556 минут
- Лабораторная работа 13. Поиск логических выводов в режиме диалога "Человек-Компьютер": система Deductio, гильбертовское исчисление (215мин.)
- Лабораторная работа 14. Поиск логических выводов в режиме диалога "Человек-Компьютер": система Deductio, генценовское исчисление натурального вывода (291мин.)
- Тест: АВТОМАТИЗАЦИЯ ПОИСКА ЛОГИЧЕСКОГО ВЫВОДА (24мин.)
Свернуть
Развернуть тему
Часть 4. ИНТУИЦИОНИСТСКИЕ ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ
Время прохождения 1220 минут
- Упражнение 15. Интуиционистские пропозициональные логики (342мин.)
- Упражнение 16. Интуиционистские пропозициональные логики: минимальное позитивное исчисление Prop (241мин.)
- Упражнение 17. Интуиционистские пропозициональные логики: секвенциальное исчисление Н. Н. Воробьёва - Дж. Худельмайера без правила сокращения (317мин.)
- Упражнение 18. Аналитические таблицы для интуиционистской логики (241мин.)
- Тест: ИНТУИЦИОНИСТСКИЕ ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (54мин.)
Свернуть
Развернуть тему
Часть 5. АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ЯЗЫКОВ ИМПЕРАТИВНОГО ПРОГРАММИРОВАНИЯ
Время прохождения 2548 минут
- Упражнение 19. Расширение языка первого порядка (139мин.)
- Упражнение 20. Формальный синтаксис модельных языков программирования: грамматические модели (329мин.)
- Упражнение 21. Содержательная операционная семантика модельных языков (203мин.)
- Упражнение 22. Аксиоматическая система Хоара для модельных языков Н и D (431мин.)
- Упражнение 23. Аксиоматическая система Дейкстры. Wр-преобразователь предикатов (190мин.)
- Упражнение 24. Wp-семантика команды присваивания и композиции команд (203мин.)
- Упражнение 25. Wp-семантика команды выбора Дейкстры (165мин.)
- Упражнение 26. Wp-семантика команды цикла Дейкстры (355мин.)
- Упражнение 27. Эвристические методы синтеза инвариантов цикла Дейкстры (177мин.)
- Упражнение 28. Синтетический подход к формальной верификации программ (215мин.)
- Тест: АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ЯЗЫКОВ ИМПЕРАТИВНОГО ПРОГРАММИРОВАНИЯ (116мин.)
Свернуть
Развернуть тему
Часть 6. ЭЛЕМЕНТЫ МОДАЛЬНОЙ ЛОГИКИ
Время прохождения 718 минут
- Упражнение 29. Модальные логики: аналитические таблицы для модальной логики, нормальные модальные исчисления K, T, В, S4, S5 (519мин.)
- Упражнение 30. Конструирование свойств шкал Крипке (139мин.)
- Тест: ЭЛЕМЕНТЫ МОДАЛЬНОЙ ЛОГИКИ (34мин.)
Свернуть
Развернуть тему
Новые издания по дисциплине "Программирование" и смежным дисциплинам
Время прохождения 51 минута
Свернуть
Развернуть тему
Методика
Материалы курса
Лекции682
Тесты6
Задания6
Поделиться курсом
Подписка от 475 ₽/мес.
Курсы по теме:
Используют:
91
учебное заведение
45
преподавателей
89
студентов
Используют:
0
учебных заведений
0
преподавателей
0
студентов
Попробуйте личную
подписку от 475 ₽/мес
Полный доступ к порталу Юрайт со всеми учебниками, курсами и сервисами на 1, 6 и 12 месяцев
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы
Образовательная платформа Юрайт - это цифровой контент, сервисы, данные для университетов и колледжей.
Ссылки
ООО «Электронное издательство Юрайт»
Свидетельство о регистрации СМИ 2020
Свидетельство о регистрации СМИ 2020
Ваш IP-адрес: 216.73.216.159
Репутация и технологическое лидерство в цифровом образовании
Приглашаем на XVIII Зимнюю школу преподавателя 26-30 января 2026 г. Скидка до 1 декабря на платные форматы: получите УПК на 72 и 108 ч.!
Начать экзамен
У вас на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Начать экзамен
У вас осталось на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Создание новой папки
Выбранная книга издается в нескольких томах (частях), рекомендуем добавить в корзину следующие книги:
| Название | Цена | Заказать |