Для доступа необходимо войти в систему
Заочная форма обучения, план набора 2012 г.
Изучается: 3 семестр
Цикл дисциплины: Б1. Дисциплины (модули)
Индекс дисциплины: Б1.В.ОД.6
Обеспечивающая кафедра: Кафедра автоматизированных систем управления
Рабочая программа
Основная литература
1. Шевелев Ю.П. Математическая логика и теория алгоритмов: учебное пособие / Ю.П. Шевелев. - Томск: Дельтаплан, 2007. - 219 с. (50 экз.)
Доступно в библиотеке:
50
экземпляров
2. Клини С.К. Математическая логика: Пер. англ. / С.К. Клини; пер.: Ю.А. Гастев; ред. пер.: Г.Е. Минц . - 3-е изд., стереотип. - М.: КомКнига, 2007; М.: УРСС, 2007. – 480 с. (20 экз.)
Доступно в библиотеке:
20
экземпляров
Дополнительная литература
4. Игошин В.И. Математическая логика и теория алгоритмов: учебное пособие / В.И. Игошин. - 4-е изд., стереотип. - М.: Академия, 2010 – 448 с. (22 экз.)
Доступно в библиотеке:
22
экземляра
5. Шапорев, С.Д. Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов / С.Д. Шапорев. – СПб: БХВ-Петербург, 2005. - 410 с. (59 экз.)
Доступно в библиотеке:
59
экземпляров
6. Дискретная математика: Учебное пособие / Е.Н. Сафьянова. - Ч. 1. - Томск: ТМЦДО, 2000. - 106 с.
Доступно в библиотеке:
106
экземпляров
3. Зюзьков В.М. Математическая логика и теория алгоритмов: Учебное пособие для вузов / В.М. Зюзьков, А.А. Шелупанов. - 2-е изд. - М: Горячая линия-Телеком, 2007. - 176 с (101 экз.)
Доступно в библиотеке:
101
экземпляр
Учебно-методическое пособие
Контрольные испытания
| Вид контроля | Семестры |
|---|---|
| Экзамен | 3 |
Контрольные работы
| Семестр | Количество |
|---|---|
| 3 | 1 |
Объем дисциплины и виды учебной деятельности
| Вид учебной деятельности | 1 семестр | 2 семестр | 3 семестр | 4 семестр | 5 семестр | 6 семестр | 7 семестр | 8 семестр | 9 семестр | 10 семестр | Всего | Единицы |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Лекция | 8 | 8 | часов | |||||||||
| Практическая работа | 8 | 8 | часов | |||||||||
| Всего аудиторных занятий | 16 | 16 | часов | |||||||||
| Из них в интерактивной форме | 8 | 8 | часов | |||||||||
| Самостоятельная работа | 119 | 119 | часов | |||||||||
| Всего (без экзамена) | 135 | 135 | часов | |||||||||
| Подготовка и сдача экзамена/зачета | 9 | 9 | часов | |||||||||
| Общая трудоемкость | 144 | 144 | часов | |||||||||
| 4 | 4 | З.Е |
Компетенции
| Код | Содержание |
|---|---|
| ОПК-5 | Способность решать стандартные задачи профессиональной деятельности на основе информационной и библиографической культуры с применением информационно-коммуникационных технологий и с учетом основных требований информационной безопасности. |
| ПК-1 | Способность разрабатывать модели компонентов информационных систем, включая модели баз данных и модели интерфейсов «человек – электронно-вычислительная машина». |