| Цель изучения дисциплины | Развитие логического, алгоритмического и математического мышления. Применение логических операций, формул логики, законов алгебры логики, теории графов. Формулирование задач логического характера и применение средств математической логики для их решения. Применение полученных знаний при решении различных профессиональных задач. Формирование и развитие умения находить информацию из различных источников, анализировать, систематизировать и синтезировать ее. Создание положительной мотивации к обучению, самообучению и саморазвитию. Расширение представлений о математике как части общечеловеческой культуры, универсальном языке науки, позволяющем описывать и изучать реальные процессы и явления. Использование полученных знаний и умений в будущей профессиональной деятельности. |
|---|---|
| Место дисциплины в учебном плане | ЕН |
| Формируемые компетенции | ОК 01. | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
Основные принципы математической логики, теории множеств и теории графов. Формулы алгебры высказываний. Методы алгебраических преобразований. Основы языка и алгебры предикатов. Основные принципы теории множеств. Уметь:
Применять логические операции, формулы логики, законы алгебры логики, алгоритмы в графах. Формулировать задачи логического характера и применять средства математической логики для их решения. Иметь навыки и (или) опыт деятельности (владеть):
Не предусмотрено. |
| Содержание дисциплины | Введение в теорию множеств.. Классическая логика высказываний.. Логика предикатов.. Введение в теорию графов.. Элементы теории алгоритмов.. |
| Виды учебной работы | Лекции, практические, самостоятельная работа. |
| Используемые информационные, инструментальные и программные средства |
Список базового программного обеспечения OC Windows 11 Pro:
LibreOffice AVP Kasperskiy Foxit PDF Reader 7-Zip Яндекс браузер Dr. Explain Visual Studio Community 2022 Microsoft Visual Studio Code Python 3.13.0 Node.js PascalABC.NET Система программирования КуМир Список базового программного обеспечения OC Astra Linux: LibreOffice Okular GIMP Inkscape Remmina VLC Chromium Gost Chromium Яндекс браузер Mozilla Firefox Visual Studio Code VirtualBox RStudio GitHub Desktop PovRay Anaconda PyCharm Community Edition PSPP Common Lisp Strawberry Prolog Android Studio IntelliJ IDEA IDE NetBeans Blender Krita DBeaver Community Dia Drakon Unity NetEmul Lazarus Scilab QTIPLOT GNUplot ГИС Аксиома XnView Audacity Scribus СПС КонсультантПлюс (инсталлированный ресурс АлтГУ или http://www.consultant.ru/).
Электронная библиотечная система Алтайского государственного университета (http://elibrary.asu.ru/); Научная электронная библиотека elibrary (http://elibrary.ru); Образовательная платформа «Юрайт» (https://urait.ru). |
| Форма промежуточной аттестации | Зачет. |