Стандарт организации (стр. 4 )

Основная литература

1  Игошин, логика и теория алгоритмов: учеб. пособие /.-М.: Академия, 2008. – 448 с. - 25 экз.

2  Крючкова, логика и теория алгоритмов: учебное пособие / . – Барна0. - Режим доступа: http//elib. alstu. ru, свободный

3  Судоплатов, логика и теория алгоритмов: учебник /, .-Новосибирск: НГТУ, 2010.- 255 с. - 2 экз.

Дополнительная литература

4  Соболева, математика: [учеб. для вузов по специальностям "Информатика и вычисл. техника", "Информ. системы", "Информ. безопасность"] /, ; под ред. .-М.: Академия, 2006. - 254 с. – 11 экз.

5  Лавров, логика : [учеб. пособие для вузов по техн. и естеств.-науч. специальностям] / ; под ред. . - М. : Академия, 2006. – 239 с. – 11 экз.

6  Успенский курс математической логики: [учеб. пособие] /, , .-М.: ФИЗМАТЛИТ, 2с. – 3 экз.

7  Мендельсон Эллиот. Введение в математическую логику: переводное издание /Э. Мендельсон; пер. с англ. .-М.: Наука, 1984. - 319 с. – 14 экз.

Программное обеспечение и Интернет-ресурсы

Необходимое программное обеспечение:

- операционная система Windows;

- Microsoft Visual Studio 2008 (2010);

- программы automat. exe, markov. exe или другие интерпретаторы правил машин Тьюринга и алгоритмов Маркова ;

- текстовый редактор MS Word или OpenOffice Writer;

Рекомендуемые сайты:

1. www. intuit. ru

2. www. window. edu. ru

5. Электронная библиотека: http//elib. alstu. ru/

Учебно-методические материалы и пособия для студентов, используемые при изучении дисциплины:

1.  Методические указания к выполнению лабораторных работ изложены в Приложении A настоящего стандарта.

2. Методические указания к выполнению расчетного задания изложены в приложении Б настоящего стандарта.

3.1.3 Формы и содержание текущей и промежуточной аттестации по

дисциплине

Форма текущей аттестации –контрольные опросы (вес 0,5 для направления 230100, вес 0,5 для направления 090900) и защита лабораторных работ (вес 0,5 для направления 230100, вес 0,4 для направления 090900). Для направления 090900 предусмотрена защита расчетного задания (вес 0,1).

Форма промежуточной аттестации – зачет (веса не имеет). При семестровом рейтинге, большем или равным 25 баллам, зачет выставляется с рейтингом, равным семестровому рейтингу, при условии сдачи контрольных точек по всем модулям. При семестровом рейтинге, меньшем 25 баллов, для получения зачета студент должен защитить лабораторные работы и ответить на контрольные вопросы преподавателя по не сданным в семестре модулям. Для повышения рейтинга студенту может быть предложено ответить на 2 теоретических вопроса и решить одну задачу (см. приложение Г).

Содержание текущей и промежуточной аттестации раскрывается в комплекте контролирующих материалов, предназначенных для проверки соответствия уровня подготовки по дисциплине требованиям ФГОС ВПО.

Контролирующие материалы по дисциплине приведены в Приложениях В, Г настоящего стандарта и содержат соответственно:

–  вопросы для текущего контроля знаний по дисциплине;

–  вопросы и примеры тестов для промежуточного контроля знаний по дисциплине.

Оценка индивидуальной деятельности студентов по дисциплине складывается из отдельных видов работ: выполнение и защита лабораторных работ (вес 0,5 для 230100, вес 0,4 для 090900), подготовка к контрольным опросам (вес 0,5). Максимальное число баллов за контрольный опрос, защиту лабораторной работы и расчетного задания составляет 100 баллов.

3.1.4 Учебно-методические карты дисциплины

для направления _090900 Информационная безопасность (квалификация "бакалавр")______________________________________________________________

(код и наименование направления или специальности)

на ___4____семестр

График аудиторных занятий, СРС, текущих и промежуточной

аттестаций

Наименование вида работ	Номер недели
1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17
1 Аудиторные занятия _51_ час.
Лекции	1		1		2		3		4		4		5		5		5
Лабораторные работы		1		2		3		3		4		5		5		6	6
Практические занятия		1		2		3		4		5		6		7		7	7
2 Самостоятельная работа студентов __57__ час.
Расчетное задание (РЗ)										1	2	2	3	3	4	5	ЗЗ
Другие виды СРС Подготовка к защите лабораторных работ Подготовка к контрольным опросам		ЗЗ		ЗЗ КО		КО		ЗЗ		ЗЗ КО		ЗЗ		ЗЗ КО		ЗЗ КО
3 Формы текущей аттестации
Контрольный опрос (КО)				0,1		0,1				0,1				0,1		0,1
Защита лабораторной работы (ЗР)		0,05		0,05				0,05		0,05				0,1		0,1
Другие виды аттестации (защита РЗ)	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0,1-
4 Формы промежуточной аттестации
Экзамен	Не предусмотрен
Зачет	На 17 неделе, веса не имеет

для направления _230100 Информатика и вычислительная техника (квалификация "бакалавр")______________________________________________________________

(код и наименование направления или специальности)

на ___4____семестр

График аудиторных занятий, СРС, текущих и промежуточной

аттестаций

Наименование вида работ	Номер недели
1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17
1 Аудиторные занятия _51_ час.
Лекции	1		1		2		3		4		4		5		5		5
Лабораторные работы		1		2		3		3		4		5		5		6	6
Практические занятия		1		2		3		4		5		6		7		7	7
2 Самостоятельная работа студентов __57__ час.
Другие виды СРС Подготовка к защите лабораторных работ Подготовка к контрольным опросам		ЗЗ		ЗЗ КО		КО		ЗЗ		ЗЗ КО		ЗЗ		ЗЗ КО		ЗЗ КО
3 Формы текущей аттестации
Контрольный опрос (КО)				0,1		0,1				0,1				0,1		0,1
Защита лабораторной работы (ЗР)		0,05		0,05				0,1		0,05				0,15		0,1
4 Формы промежуточной аттестации
Экзамен	Не предусмотрен
Зачет	На 17 неделе, веса не имеет

3.2 Условия освоения и реализации дисциплины