Этот курс и более
11 500 других учебников
и курсов будут доступны
при покупке личной
подписки
ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Используют:
88
учебных заведений
27
преподавателей
79
студентов
Избранное
4 зачетных единицы
144 академ/часа
8 часов в неделю
Доступно к покупке
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
Скачивание контента в
PDF недоступно
PDF недоступно
Скачивание контента в PDF недоступно
Документы о прохождении курсов не выдаются. Преподаватели могут повысить квалификацию:
Документы о прохождении курсов не выдаются. Преподаватели могут повысить квалификацию:
- О курсе
- Авторы
- Программа курса
- Методика
О курсе
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Компьютерные и информационные науки / ПрограммированиеДисциплины
Программирование ,
Математическая логика и теория алгоритмов ,
Теория и технология программирования ,
Методы программирования ,
Математическая логика ,
Основы программирования ,
Прикладное программирование ,
Программирование для ЭВМ ,
Введение в программирование ,
Семантика языков программирования ,
Программируемые логические интегральные схемы (ПЛИС) ,
Разработка устройств на базе программируемых логических интегральных схем ,
Программирование на ЭВМ ,
Основы математической логики ,
Программируемые логические схемы ,
Модельно-ориентированное исследование промышленных объектов и систем ,
Программируемые логические интегральные схемы ,
Практико-ориентированное вхождение в профессию ,
Введение в математическую логику ,
Формальная верификация моделей программного обеспечения
Направления подготовки/Специальности/Профессии
44.04.01.08 Педагогическое образование (Информатика),
12.03.03 Фотоника и оптоинформатика,
10.05.06 Криптография,
01.03.04 Прикладная математика,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
15.05.02 Роботехника военного и специального назначения,
16.04.01 Техническая физика,
23.05.03 Подвижной состав железных дорог,
13.05.01 Тепло- и электрообеспечение специальных технических систем и объектов,
11.05.04 Инфокоммуникационные технологии и системы специальной связи,
26.03.02 Кораблестроение, океанотехника и системотехника объектов морской инфраструктуры,
25.03.04 Эксплуатация аэропортов и обеспечение полетов воздушных судов,
30.05.02 Медицинская биофизика,
03.03.01 Прикладные математика и физика,
24.03.01 Ракетные комплексы и космонавтика,
23.05.04 Эксплуатация железных дорог,
18.05.02 Химическая технология материалов современной энергетики,
08.04.01 Строительство,
05.03.01 Геология
12.03.03 Фотоника и оптоинформатика,
10.05.06 Криптография,
01.03.04 Прикладная математика,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
15.05.02 Роботехника военного и специального назначения,
16.04.01 Техническая физика,
23.05.03 Подвижной состав железных дорог,
13.05.01 Тепло- и электрообеспечение специальных технических систем и объектов,
11.05.04 Инфокоммуникационные технологии и системы специальной связи,
26.03.02 Кораблестроение, океанотехника и системотехника объектов морской инфраструктуры,
25.03.04 Эксплуатация аэропортов и обеспечение полетов воздушных судов,
30.05.02 Медицинская биофизика,
03.03.01 Прикладные математика и физика,
24.03.01 Ракетные комплексы и космонавтика,
23.05.04 Эксплуатация железных дорог,
18.05.02 Химическая технология материалов современной энергетики,
08.04.01 Строительство,
05.03.01 Геология
Свернуть
Еще 15
Авторы
Лекции
Голанова Анна Викторовна
кандидат педагогических наук, доцент
Швецкий Михаил Владимирович
доктор педагогических наук, профессор
Задания
Голанова Анна Викторовна
кандидат педагогических наук, доцент
Швецкий Михаил Владимирович
доктор педагогических наук, профессор
Тесты
Программа курса
Свернуть все темы
Развернуть все темы
Часть 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. АВТОМАТИЗАЦИЯ ПОИСКА ЛОГИЧЕСКОГО ВЫВОДА
Время прохождения 572 минуты
- Лабораторная работа 13. Поиск логических выводов в режиме диалога "Человек-Компьютер": система Deductio, гильбертовское исчисление (215мин.)
- Лабораторная работа 14. Поиск логических выводов в режиме диалога "Человек-Компьютер": система Deductio, генценовское исчисление натурального вывода (291мин.)
- Тест: АВТОМАТИЗАЦИЯ ПОИСКА ЛОГИЧЕСКОГО ВЫВОДА (40мин.)
Свернуть
Развернуть тему
Часть 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 ₽/мес.
Курсы по теме:
Используют:
0
учебных заведений
0
преподавателей
0
студентов
Используют:
74
учебных заведения
31
преподаватель
129
студентов
Попробуйте личную
подписку от 475 ₽/мес
Полный доступ к порталу Юрайт со всеми учебниками, курсами и сервисами на 1, 6 и 12 месяцев
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы
Образовательная платформа Юрайт - это цифровой контент, сервисы, данные для университетов и колледжей.
Ссылки
ООО «Электронное издательство Юрайт»
Свидетельство о регистрации СМИ 2020
Свидетельство о регистрации СМИ 2020
Ваш IP-адрес: 216.73.216.147
Репутация и технологическое лидерство в цифровом образовании
Приглашаем на XVIII Зимнюю школу преподавателя 26-30 января 2026 г. Скидка до 1 декабря на платные форматы: получите УПК на 72 и 108 ч.!
Начать экзамен
У вас на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Начать экзамен
У вас осталось на прохождение экзамена:
Остановить или пройти экзамен повторно невозможно.
Создание новой папки
Выбранная книга издается в нескольких томах (частях), рекомендуем добавить в корзину следующие книги:
| Название | Цена | Заказать |