| Цель изучения дисциплины | В результате освоения учебной дисциплины обучающийся должен уметь: − формулировать задачи логического характера и применять средства математической логики для их решения; В результате освоения учебной дисциплины обучающийся должен знать: − основные принципы математической логики, теории множеств и теории алгоритмов; − формулы алгебры высказываний; − методы минимизации алгебраических преобразований; − основы языка и алгебры предикатов. - основы комбинаторики |
|---|---|
| Место дисциплины в учебном плане | ЕН |
| Формируемые компетенции | ОК 01. | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
- основные принципы математической логики, теории множеств и теории алгоритмов; − формулы алгебры высказываний; − методы минимизации алгебраических преобразований; − основы языка и алгебры предикатов. - основы комбинаторики Уметь:
формулировать задачи логического характера и применять средства математической логики для их решения; Иметь навыки и (или) опыт деятельности (владеть):
Не предусмотрено |
| Содержание дисциплины | Основы теории множеств. Основы математической логики. Логика предикатов. Теория графов. Криптография. |
| Виды учебной работы | Лекции, практические. |
| Используемые информационные, инструментальные и программные средства |
Microsoft Windows Vista лицензия OEM; Microsoft Office Professional Plus 2010, № 60674416 от 17.07.2012)
Microsoft Office 2010 (Office 2010 Professional, № 4065231 от 08.12.2010), (бессрочно); Microsoft Windows 7 (Windows 7 Professional, № 61834699 от 22.04.2013), (бессрочно); Chrome (http://www.chromium.org/chromium-os/licenses), (бессрочно); 7-Zip (http://www.7-zip.org/license.txt), (бессрочно); AcrobatReader (http://wwwimages.adobe.com/content/dam/Adobe/en/legal/servicetou/Acrobat_com_Additional_TOU-en_US-20140618_1200.pdf), (бессрочно); ASTRA LINUX SPECIAL EDITION (https://astralinux.ru/products/astra-linux-special-edition/), (бессрочно); LibreOffice (https://ru.libreoffice.org/), (бессрочно); Веб-браузер Chromium (https://www.chromium.org/Home/), (бессрочно); Антивирус Касперский (https://www.kaspersky.ru/), (до 23 июня 2024); Архиватор Ark (https://apps.kde.org/ark/), (бессрочно); Okular (https://okular.kde.org/ru/download/), (бессрочно); Редактор изображений Gimp (https://www.gimp.org/), (бессрочно) Информационная справочная система:
ИТС ПРОФ ВУЗ (в рамках договора № 126-3 от 01.04.2015 г.) СПС КонсультантПлюс (http://www.consultant.ru/) СПС Гарант (http://www.garant.ru/) Профессиональные базы данных: 1. Электронная библиотечная система Алтайского государственного университета (http://elibrary.asu.ru/); 2. Научная электронная библиотека elibrary (http://elibrary.ru) |
| Форма промежуточной аттестации | Диф. зачет. |