|
|
Информационная карта ЭР
Регистрационный номер: | 704 |
Дата регистрации: | 07.12.2011 |
Полное название: | Электронный конспект к курсу лекций по дисциплине "Математическая логика". Часть 3. Логика предикатов. Часть 4. Логические исчисления |
Краткое название: | Математическая логика. Часть 3. Логика предикатов. Часть 4. Логические исчисления |
Версия: | 1 |
Тип ЭР: | Электронный курс лекций |
Размер дистрибутива (МБ): | 1 |
Дата окончания разработки: | 18.11.2011 |
---|
Кол-во страниц в РТО: | 6 |
Индекс УДК: | 510.6 |
Рецензент: | Пихтилькова О.А., к.ф.-м.н., доцент кафедры математического анализа |
Мотивированное заключение: | Кафедра алгебры и математической кибернетики |
Аннотация: | Электронный конспект составлен в соответствии со стандартом направления подготовки 010300.62 (010200.62 по ФГОС) и содержит в виде презентации материал лекционного курса по разделам "Логика предикатов" и "Логические исчисления" дисциплины "Математическая логика".
Конспект охватывает следующие вопросы: основные понятия логики предикатов (ЛП), операции над предикатами; формулы ЛП, интерпретация формулы, классификация формул; равносильные формулы ЛП, основные равносильности ЛП; проблема разрешимости в ЛП; применение ЛП к логико-математической практике; понятие формального исчисления; исчисление высказываний: алфавит, формулы, аксиомы, правило вывода; разрешимость и непротиворечивость исчисления высказываний; исчисление предикатов: алфавит, формулы, аксиомы, правила вывода; неразрешимость и непротиворечивость исчисления предикатов; автоматическое доказательство теорем; исчисление резольвент.
Количество лекций - 8, общее количество слайдов - 93.
|
---|
Целевая аудитория (УГСН): | Физико-математические науки (010000) |
Уровень образования: | Высшее образование |
Ступени образования: | Бакалавр |
Правообладатель: | Оренбургский государственный университет |
Автор(ы): | Отрыванкина Татьяна Михайловна, Габдушева Айнара Дмитриевна, Миронова Елена Ивановна |
Дисциплины: | Математическая логика |
Грифование: | |
Внедрено: | Математический факультет |
Мультимедиа: | |
Зарегистрировано: | |
Область применения: | Физико-математические науки |
Ключевые слова: | логика предикатов, электронный конспект лекций |
Ссылка для скачивания: | Дистрибутив электронного ресурса |
форма поиска
|
|