Вводится в действие с момента переутверждения вместо ранее утвержденного


Национально-региональный (вузовский) компонент



Скачать 475,07 Kb.
страница22/43
Дата06.10.2019
Размер475,07 Kb.
#79203
ТипГосударственный образовательный стандарт
1   ...   18   19   20   21   22   23   24   25   ...   43
Национально-региональный (вузовский) компонент

160

ОПД.В.00

Дисциплины и курсы по выбору студента, устанавливаемые вузом

160

ДПП

Дисциплины предметной подготовки

4334

ДПП.Ф.00

Федеральный компонент

3834

ДПП.Ф.01

Математическая логика

Алгебра высказываний. Нормальные формы. Совершенные нормальные формы. Теорема существования и единственности совершенных нормальных форм. Логическое следствие. Прямая и обратная теоремы, противоположная и обратная теоремы; закон контрапозиции. Методы математических доказательств. Применение алгебры высказываний к описанию релейно-контактных схем. Исчисление высказываний. Формулы исчисления высказываний. Аксиомы исчисления высказывания и правила вывода. Теорема дедукции и ее применение. Исследования системы аксиом исчисления высказываний; их непротиворечивость и полнота.

Логика предикатов. Формулы логики предикатов и их классификация. Приведенная форма для формул логики предикатов. Предваренная нормативная форма. Проблема разрешения в логике предикатов. Применение логики предикатов. Строение математических теорем. Методы доказательства теорем. Исчисление предикатов. Непротиворечивость исчисления предикатов. Теорема Геделя о полноте исчисления предикатов.


130


Каталог: archivegosvpo -> downloads
downloads -> 1. общая характеристика направления
downloads -> Заместитель Председателя
downloads -> В. Д. Шадриков «14» марта 2000 г
downloads -> Государственный образовательный стандарт Специальность 022500 Физическая культура для лиц
downloads -> 1. общая характеристика специальности 031100. 00 Педагогика и методика дошкольного образования с дополнительной специальностью
downloads -> Редством иностранного языка
downloads -> 1. общая характеристика специальности 030100
downloads -> Деятельность специалиста направлена на развитие, обучение и воспитание учащихся как субъектов образовательного процесса
downloads -> Бакалавра по направлению "Проектирование и технология электронных средств" 4 года

Скачать 475,07 Kb.

Поделитесь с Вашими друзьями:
1   ...   18   19   20   21   22   23   24   25   ...   43




База данных защищена авторским правом ©psihdocs.ru 2022
обратиться к администрации

    Главная страница