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