| Цель изучения дисциплины | Развитие логического, алгоритмического и математического мышления. Применение логических операций, формул логики, законов алгебры логики, теории графов. Формулирование задач логического характера и применение средств математической логики для их решения. Применение полученных знаний при решении различных профессиональных задач. Формирование и развитие умения находить информацию из различных источников, анализировать, систематизировать и синтезировать ее. Создание положительной мотивации к обучению, самообучению и саморазвитию. Расширение представлений о математике как части общечеловеческой культуры, универсальном языке науки, позволяющем описывать и изучать реальные процессы и явления. Использование полученных знаний и умений в будущей профессиональной деятельности. |
|---|---|
| Место дисциплины в учебном плане | ЕН |
| Формируемые компетенции | ОК 01. | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
Основные принципы математической логики, теории множеств и теории графов. Формулы алгебры высказываний. Методы алгебраических преобразований. Основы языка и алгебры предикатов. Основные принципы теории множеств. Уметь:
Применять логические операции, формулы логики, законы алгебры логики, алгоритмы в графах. Формулировать задачи логического характера и применять средства математической логики для их решения. Иметь навыки и (или) опыт деятельности (владеть):
Не предусмотрено. |
| Содержание дисциплины | Раздел 1. Введение в теорию множеств.. Раздел 2. Классическая логика высказываний.. Раздел 3. Логика предикатов.. Раздел 4. Введение в теорию графов.. Раздел 5. Элементы теории алгоритмов.. |
| Виды учебной работы | Лекции, практические, самостоятельная работа. |
| Используемые информационные, инструментальные и программные средства |
Список программного обеспечения
Операционная система Windows и/или AstraLinux Специализированное и общее ПО Open Office или Libreoffice 3D Canvas Blender Visual Studio Community Python c расширениями PIL, Py OpenGL FAR XnView 7-Zip AcrobatReader GIMP Inkscape Paint.net VBox Mozila FireFox Chrome Eclipse (PHP,C++, Phortran) VLC QTEPLOT Visual Studio Code https://code.visualstudio.com/License/ Notepad++ https://notepad-plus-plus.org/ Информационная справочная система:
- СПС КонсультантПлюс (инсталлированный ресурс АлтГУ или http://www.consultant.ru/). Профессиональные базы данных: - Электронная библиотечная система Алтайского государственного университета (http://elibrary.asu.ru/); - Научная электронная библиотека elibrary (http://elibrary.ru); - Образовательная платформа «Юрайт» (https://urait.ru). |
| Форма промежуточной аттестации | Зачет. |