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