Курсовое проектирование (работа)
Учебным планом не предусмотрено
Самостоятельная работа студентов
Виды самостоятельной работы и ее трудоемкость приведены в таблице 6.
Таблица 6 Виды самостоятельной работы и ее трудоемкость
| Вид самостоятельной работы | Всего, час | Семестр 7, час |
| Самостоятельная работа, всего | 34 | 34 |
| изучение теоретического материала дисциплины (ТО) | 12 | 12 |
| подготовка к текущему контролю (ТК) | 10 | 10 |
| домашнее задание (ДЗ) | 12 | 12 |
5. Перечень учебно-методического обеспечения для самостоятельной работы обучающихся по дисциплине (модулю);
Учебно-методические материалы для самостоятельной работы студентов указаны в п.п. 8-10.
Перечень основной и дополнительной литературы
6.1. Основная литература
Перечень основной литературы приведен в таблице 7.
Таблица 7 – Перечень основной литературы
| Шифр | Библиографическая ссылка / URL адрес | Количество экземпляров в библиотеке (кроме электронных экземпляров) |
| [510.6 Н 13 51] [510.6 Л 65 51] | 1. Шапорев, С.Д. Дискретная математика. СПб.: БХВ-Петербург, 2006, 396 с. 2. Шапорев С.Д. Математическая логика, С-Пб., БХВ-Петербург, 2005, 410 стр. 3. Математическая логика и теория алгоритмов: учебное пособие/ А. А. Набебин. - М.: Научный мир, 2008. - 343 с. 4. Лихтарников, Л. М. Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие/ Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер.. - СПб. [и др.]: Лань, 2009. - 276 с. 5. Волков, И. К. Исследование операций : Учеб. для вузов / И. К. Волков, Е. А. Загоруйко. – М. : Изд-во МГТУ им. Н.Э. Баумана, 2002. 6. Ушаков, А. В. Математические основы теории систем: Элементы теории и практикум: учеб. пособие / А. В. Ушаков, В. В. Хабалов, Н. А. Дударен- ко. – СПб : СПб ГУ ИТМО, 2007. 7. Певзнер, Л. Д. Математические основы теории систем / Л. Д. Певзнер, Е. П. Чураков. – М. : Высш. шк., 2009. 8. Шапорев С.Д. Математические основы систем управления. СПб., ГУАП, 2017, 251 с. | 0 0 ФО(5) ФО(1), ГС(2), ГСЧЗ(2) 2 1 0 5 |
|
|
|
6.2. Дополнительная литература
Перечень дополнительной литературы приведен в таблице 8.
Таблица 8 – Перечень дополнительной литературы
| Шифр | Библиографическая ссылка/ URL адрес | Количество экземпляров в библиотеке (кроме электронных экземпляров) |
| М980222 | 1. Акимов, О.Е. Дискретная математика: логика, группы, графы / О.Е. Акимов, М.: Лаборатория Базовых Знаний, 2003. 376 с. 2. Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.А. Максимова. М.: ФИЗМАТЛИТ, 2004. 256 с. 3. Новиков, Ф.А. Дискретная математика для программистов / Ф.А. Новиков. СПб.: Питер, 2003. 301 с., 31 экз. 4. Судоплатов, С.В. Математическая логика и теория алгоритмов / С.В. Судоплатов, Е.В. Овчинникова. М: Инфра-М, 2004. 224 с., 30 экз. 5. Э.Мендельсон Введение в математическую логику. – М.:Книжный дом «Либроком», 2010. – 320 с. 6. Н.К.Верещагин, А. Шень Языки и исчисления. – М.: Издательство МЦНМО, 2008. – 288 с. 7. С.Ф.Тюрин, Ю.А.Аляев Дискретная математика: практическая дискретная математика и математическая логика. – М.: Издательский дом «Инфра-М», 2010. – 384 с. 8. Математическая логика и теория алгоритмов. Математическая логика. Методические указания к выполнению контрольных работ.-СПб, ГУАП. – 2003. – 44 с. 9. А.А. Набебин, Ю.П. Кораблин Математическая логика и теория алгоритмов. – М.:Научный мир, 2008. – 344 с. 10. Л.М.Лихтарников, Т.Г.Сукачева Математическая логика/Курс лекций. Задачник практимум. Решения.- СПб: Издательство «Лань», 2009. – 288 с. 11. Ерофеев, А. А. Теория автоматического управления : учеб. для вузов / А. А. Ерофеев. – СПб. : Политехника, 2003. 12. Павлова, А. В. Математические основы теории систем: конспект лекций для студ. спец. «Информационные технологии и управление в технических системах». Ч. 2. – Минск : БГУИР, 2005. 13. Павлова, А. В. Методическое пособие к практическим занятиям по курсу «Математические основы теории систем» / А. В. Павлова, Ю. В. Кушелев. – Минск : БГУИР, 1994. 14. Математика. - Журнал: РЖ: Реферативный журнал: РЖ: Вып. свод. т. 13В: Теория вероятностей и математическая статистика. - М.: ВИНИТИ. | 2 0 3 2 0 0 2 25 2 5 0 0 0 |
|
|
|
|
|
|
Перечень ресурсов информационно-телекоммуникационной сети ИНТЕРНЕТ, необходимых для освоения дисциплины
Перечень ресурсов информационно-телекоммуникационной сети ИНТЕРНЕТ, необходимых для освоения дисциплиныприведен в таблице 9.
Для доступа к электронным ресурсам ГУАП (http://lib.aanet.ru/) необходима авторизация по номеру читательского билета).
Доступ в ЭБС «Лань» осуществляется по договору № 695-7 от 30.11.2011.
Доступ в ЭБС «ZNANIUM» осуществляется по договору № 186-ЭБС от 08.02.2012.
Таблица 9 – Перечень ресурсов информационно-телекоммуникационной сети ИНТЕРНЕТ, необходимых для освоения дисциплины
| URL адрес | Наименование |
| http://e.lanbook.com/ books/element.php?pl1_cid=25&pl1_id=231 | Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. [Электронный ресурс] - СПб.: Издательство «Лань», 2009. - 288с. |
Дата добавления: 2021-03-18; просмотров: 76; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!