Ми­ни­стер­ст­во об­ра­зо­ва­ния и нау­ки Рос­сий­ской Фе­де­ра­ции Учеб­но-ме­то­ди­че­ское объ­е­ди­не­ние ву­зов по об­ра­зо­ва­нию в об­лас­ти ин­фор­ма­ци­он­ной безо­пас­но­сти сборник примерных программ учебных дисциплин по направлению подготовки (специальности)

Вид материала

Документы

Содержание Раздел 1. алгебра логики Те­ма 2. Ал­геб­ра вы­ска­зы­ва­ний и ал­геб­ра пре­ди­ка­тов Те­ма 3. Бу­ле­вы функ­ции и их обоб­ще­ние Раздел 2. логические исчисления Те­ма 5. Ис­чис­ле­ние пре­ди­ка­тов Те­ма 6. Ме­тод ре­зо­лю­ций Раздел 3. алгоритмические модели Те­ма 8. Ал­го­рит­ми­че­ская раз­ре­ши­мость и не­раз­ре­ши­мость Раздел 4. сложность алгоритмов Те­ма 10. Ме­то­ды по­строе­ния эф­фек­тив­ных ал­го­рит­мов. Те­ма 11. Слож­но­ст­ная клас­си­фи­ка­ция пе­ре­бор­ных за­дач Те­ма 12. Тео­рия ал­го­рит­мов и за­да­чи ис­поль­зо­ва­ния ЭВМ 5.2. Раз­де­лы дис­ци­п­ли­ны и меж­дис­ци­п­ли­нар­ные свя­зи с обес­пе­чи­вае­мы­ми (по­сле­дую­щи­ми) дис­ци­п­ли­на­ми 5.3. Раз­де­лы дис­ци­п­лин и ви­ды за­ня­тий 6. Ла­бо­ра­тор­ный прак­ти­кум 8. Учеб­но-ме­то­ди­че­ское и ин­фор­ма­ци­он­ное обес­пе­че­ние дис­ци­п­ли­ны 8.2. До­пол­ни­тель­ная ли­те­ра­ту­ра 8.3. Про­грамм­ное обес­пе­че­ние 9. Ма­те­ри­аль­но-тех­ни­че­ское обес­пе­че­ние дис­ци­п­ли­ны 10. Ме­то­ди­че­ские ре­ко­мен­да­ции по ор­га­ни­за­ции изу­че­ния дис­ци­п­ли­ны ... Полное содержание

Подобный материал:

• Ми­ни­стер­ст­во об­ра­зо­ва­ния и нау­ки Рос­сий­ской Фе­де­ра­ции Учеб­но-ме­то­ди­че­ское, 5418.2kb.
• Ступ­но­сти (го­су­дар­ст­вен­ной, во­ин­ской, транс­на­цио­наль­ной и иной) мы бу­дем, 86.46kb.
• Лек­ция по те­ме № Ус­ло­вия кон­крет­но­го пре­сту­п­ле­ния, 298.33kb.
• Расписание занятий на цикле сертификационного усовершенствования для интернов, 88.88kb.
• Министерство образования Российской Федерации Ми­ни­стер­ство путей сообщения Рос­сий­ской, 653.58kb.
• Министерство образования Российской Федерации Ми­ни­стер­ство путей сообщения Рос­сий­ской, 657.68kb.
• Об­щая ха­рак­те­ри­сти­ка ра­бо­ты Ак­ту­аль­ность те­мы, 398.26kb.
• Рекомендации по организации профилактической работы, направленной на предупреждение, 1352.37kb.
• История исторической науки, 496.22kb.
• Министерство здравоохранения и социального развития Российской Федерации Государственное, 408.11kb.

РАЗДЕЛ 1. АЛГЕБРА ЛОГИКИ

Те­ма 1. Вве­де­ние

Ис­то­рия раз­ви­тия ма­те­ма­ти­че­ской ло­ги­ки и тео­рии ал­го­рит­мов. Ма­те­ма­ти­че­ская ло­ги­ка и ос­но­ва­ния ма­те­ма­ти­ки. Тео­рия ал­го­рит­мов и прин­ци­пи­аль­ные воз­мож­но­сти вы­чис­ли­тель­ных ма­шин. Слож­ность ал­го­рит­мов и ее зна­че­ние для прак­ти­ки.

Те­ма 2. Ал­геб­ра вы­ска­зы­ва­ний и ал­геб­ра пре­ди­ка­тов

Ос­нов­ные ло­ги­че­ские опе­ра­ции и их свой­ст­ва. По­ня­тие бу­ле­вой ал­геб­ры. Ал­геб­ра вы­ска­зы­ва­ний и ал­геб­ра под­мно­жеств, мно­же­ст­ва как при­ме­ры бу­ле­вых ал­гебр. Пре­ди­ка­ты на мно­же­ст­ве и их связь с от­но­ше­ния­ми. Ло­ги­че­ские опе­ра­ции над пре­ди­ка­та­ми. Оп­ре­де­ле­ние фор­му­лы ал­геб­ры пре­ди­ка­тов. Вы­пол­ни­мые, то­ж­де­ст­вен­но ис­тин­ные и то­ж­де­ст­вен­но лож­ные фор­му­лы. Рав­но­силь­ность фор­мул, ос­нов­ные со­от­но­ше­ния рав­но­силь­но­сти и их ис­поль­зо­ва­ние для уп­ро­ще­ния фор­мул. Су­ще­ст­во­ва­ние для ка­ж­дой фор­му­лы ал­геб­ры вы­ска­зы­ва­ний при­ве­ден­ной фор­мы, дизъ­юнк­тив­ной и конъ­юнк­тив­ной нор­маль­ных форм.

Те­ма 3. Бу­ле­вы функ­ции и их обоб­ще­ние

По­ня­тие бу­ле­вой функ­ции и функ­ции мно­го­знач­ной ло­ги­ки. Их пред­став­ле­ние фор­му­ла­ми над за­дан­ной сис­те­мой функ­ций. Пред­став­ле­ние бу­ле­вых функ­ций фор­му­ла­ми ал­геб­ры вы­ска­зы­ва­ний и мно­го­чле­на­ми Же­гал­ки­на. Замк­ну­тые клас­сы функ­ций. Кри­те­рии пол­но­ты для бу­ле­вых функ­ций и функ­ций мно­го­знач­ной ло­ги­ки. Пред­став­ле­ние функ­ций мно­го­знач­ной ло­ги­ки ря­да­ми Фу­рье. Ме­то­ды вы­чис­ле­ния ко­эф­фи­ци­ен­тов Фу­рье. Псев­до­бу­ле­вы функ­ции и их за­да­ние. Ми­ни­ми­за­ция бу­ле­вых функ­ций.

РАЗДЕЛ 2. ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ

Те­ма 4. Ис­чис­ле­ние вы­ска­зы­ва­ний

Об­щее по­ня­тие о ло­ги­че­ском ис­чис­ле­нии. Язык, ак­сио­мы и пра­ви­ла вы­во­да ис­чис­ле­ния вы­ска­зы­ва­ний. Вы­во­ди­мость и до­ка­зуе­мость фор­мул в ис­чис­ле­нии вы­ска­зы­ва­ний. Тео­ре­ма де­дук­ции. Не­про­ти­во­ре­чи­вость и пол­но­та ис­чис­ле­ния вы­ска­зы­ва­ний.

Те­ма 5. Ис­чис­ле­ние пре­ди­ка­тов

Язык, ак­сио­мы и пра­ви­ла вы­во­да ис­чис­ле­ния пре­ди­ка­тов. Вы­во­ди­мость и до­ка­зуе­мость фор­мул в ис­чис­ле­нии пре­ди­ка­тов. Вспо­мо­га­тель­ные пра­ви­ла вы­во­да: пра­ви­ло сил­ло­гиз­ма, пра­ви­ла ум­но­же­ния и раз­де­ле­ния фор­мул, пра­ви­ла ум­но­же­ния и раз­де­ле­ния по­сы­лок, пра­ви­ло ум­но­же­ния за­клю­че­ний, пра­ви­ло пе­ре­ста­нов­ки по­сы­лок, пра­ви­ло кон­тра­по­зи­ции, пра­ви­ла де Мор­га­на, пра­ви­ла про­ти­во­ре­чия, за­кон ис­клю­чен­но­го третье­го. Тео­ре­ма де­дук­ции для замк­ну­той фор­му­лы. Эк­ви­ва­лент­ность фор­мул. При­ве­де­ние фор­мул к нор­маль­ным фор­мам. По­ня­тие об ин­тер­пре­та­ции ис­чис­ле­ния пре­ди­ка­тов. Не­про­ти­во­ре­чи­вость ис­чис­ле­ния пре­ди­ка­тов. Не­про­ти­во­ре­чи­вые, пол­ные и вы­пол­ни­мые сис­те­мы фор­мул. Тео­ре­ма Ге­де­ля о пол­но­те ис­чис­ле­ния пре­ди­ка­тов. При­ме­не­ние ис­чис­ле­ния пре­ди­ка­тов для за­пи­си ма­те­ма­ти­че­ских ут­вер­жде­ний и для ав­то­ма­ти­че­ско­го до­ка­за­тель­ст­ва тео­рем.

Те­ма 6. Ме­тод ре­зо­лю­ций

При­ме­не­ние ис­чис­ле­ния пре­ди­ка­тов для до­ка­за­тель­ст­ва тео­рем. Се­к­вен­ци­аль­ный и на­ту­раль­ный вы­вод в ис­чис­ле­нии пре­ди­ка­тов. Эр­ба­нов­ские ин­тер­пре­та­ции. Тео­ре­ма Эр­бра­на. Ско­ле­мов­ская стан­дарт­ная фор­ма. Се­ман­ти­че­ские де­ре­вья. Ме­тод ре­зо­лю­ции для ло­ги­ки пре­ди­ка­тов. Уни­фи­ка­ция. Тео­ре­ма о наи­бо­лее об­щем уни­фи­ка­то­ре. Тео­ре­ма о пол­но­те ме­то­да ре­зо­лю­ции для ло­ги­ки пре­ди­ка­тов. При­ме­не­ние ло­ги­ки пре­ди­ка­тов в де­дук­тив­ных ба­зах дан­ных и экс­перт­ных сис­те­мах. Ос­нов­ные по­ня­тия ло­ги­че­ско­го про­грам­ми­ро­ва­ния: хор­нов­ские дизъ­ю­ни­ты, SLD - ре­зо­лю­ция. Ме­то­ди­ка со­став­ле­ния и реа­ли­за­ция ло­ги­че­ских про­грамм.

РАЗДЕЛ 3. АЛГОРИТМИЧЕСКИЕ МОДЕЛИ

Те­ма 7. Эле­мен­ты тео­рии ал­го­рит­мов

Ин­туи­тив­ное по­ня­тие ал­го­рит­ма и его ха­рак­тер­ные чер­ты. Не­об­хо­ди­мость уточ­не­ния по­ня­тия ал­го­рит­ма. Оп­ре­де­ле­ние нор­маль­но­го ал­го­рит­ма. При­ме­ры. Прин­цип Мар­ко­ва. Ком­по­зи­ция нор­маль­ных ал­го­рит­мов. Оп­ре­де­ле­ние ма­ши­ны Тью­рин­га-По­ста. Прин­цип Тью­рин­га- По­ста.

Те­ма 8. Ал­го­рит­ми­че­ская раз­ре­ши­мость и не­раз­ре­ши­мость

Ну­ме­ра­ция слов в счет­ном ал­фа­ви­те и ариф­ме­ти­за­ция ал­го­рит­мов. Оп­ре­де­ле­ние ре­кур­сив­ных и час­тич­но ре­кур­сив­ных функ­ций. При­ме­ры. Со­от­но­ше­ния ме­ж­ду клас­са­ми при­ми­тив­но ре­кур­сив­ных, об­ще­ре­кур­сив­ных и час­тич­но ре­кур­сив­ных функ­ций. При­ме­ры ал­го­рит­ми­че­ски не­раз­ре­ши­мых мас­со­вых за­дач. При­ме­ры ал­го­рит­ми­че­ски раз­ре­ши­мых и не­раз­ре­ши­мых за­дач из ал­геб­ры и тео­рии ав­то­ма­тов (без до­ка­за­тель­ст­ва). Тео­ре­ма Чер­ча о не­раз­ре­ши­мо­сти ис­чис­ле­ний пре­ди­ка­тов (без до­ка­за­тель­ст­ва).

РАЗДЕЛ 4. СЛОЖНОСТЬ АЛГОРИТМОВ

Те­ма 9. Слож­ность ал­го­рит­мов и вы­чис­ле­ний

Под­хо­ды к оцен­кам слож­но­сти ал­го­рит­мов и вы­чис­ле­ний. Мо­де­ли вы­чис­ле­ний. Слож­ность вы­чис­ле­ния на ма­ши­не Тью­рин­га. Ме­ры слож­но­сти. Свой­ст­ва функ­ций слож­но­сти. Ниж­ние оцен­ки. Слож­но­сти вы­чис­ле­ния. Ме­тод сле­дов. Слож­ность рас­по­зна­ва­ния сим­мет­рии слов. Слож­ность рас­по­зна­ва­ния функ­цио­наль­ной пол­но­ты сис­те­мы бу­ле­вых функ­ций. Су­ще­ст­во­ва­ние сколь угод­но слож­но вы­чис­ли­мых функ­ций.

Те­ма 10. Ме­то­ды по­строе­ния эф­фек­тив­ных ал­го­рит­мов.

Ме­тод раз­бие­ния и ре­кур­сии. Слож­ность ре­кур­сив­ных ал­го­рит­мов. Ум­но­же­ние чи­сел и мат­риц. Бы­строе пре­об­ра­зо­ва­ние Фу­рье.

Те­ма 11. Слож­но­ст­ная клас­си­фи­ка­ция пе­ре­бор­ных за­дач

Класс за­дач, де­тер­ми­ни­ро­ва­но ре­шае­мых с по­ли­но­ми­аль­ной слож­но­стью. Класс за­дач, ре­шае­мых с по­ли­но­ми­аль­ной слож­но­стью на не­де­тер­ми­ни­ро­ван­ной ма­ши­не Тью­рин­га. По­ли­но­ми­аль­ная сво­ди­мость. NP-пол­ные и NP-труд­ные за­да­чи.

Те­ма 12. Тео­рия ал­го­рит­мов и за­да­чи ис­поль­зо­ва­ния ЭВМ

Вы­чис­ли­тель­ные воз­мож­но­сти со­вре­мен­ных ЭВМ. Мо­дель ЭВМ – ма­ши­на про­из­воль­но­го дос­ту­па (МПД). МПД-вы­чис­ли­мые функ­ции и их связь с час­тич­но ре­кур­сив­ны­ми функ­ция­ми


5.2. Раз­де­лы дис­ци­п­ли­ны и меж­дис­ци­п­ли­нар­ные свя­зи с обес­пе­чи­вае­мы­ми (по­сле­дую­щи­ми) дис­ци­п­ли­на­ми

№ п/п	На­име­но­ва­ние обес­пе­чи­вае­мых (по­сле­дую­щих) дис­ци­п­лин	№ раз­де­лов дан­ной дис­ци­п­ли­ны, не­об­хо­ди­мых для изу­че­ния обес­пе­чи­вае­мых (по­сле­дую­щих) дис­ци­п­лин
1	2	3	4
1.	Тех­но­ло­гии и ме­то­ды про­грам­ми­ро­ва­ния	+	-	+	+
2.	Безо­пас­ность сис­тем баз дан­ных	+	+	-	-
3.	Крип­то­гра­фи­че­ские ме­то­ды за­щи­ты ин­фор­ма­ции	+	-	+	+

5.3. Раз­де­лы дис­ци­п­лин и ви­ды за­ня­тий

№ п/п	Раз­дел дис­ци­п­ли­ны	Лек­ции	ПЗ	КР	Се­мин.	СР	Все­го час.
1.	Ал­геб­ра ло­ги­ки	12	12	2	-	10	36
2.	Ло­ги­че­ские ис­чис­ле­ния	12	12	-	-	9	33
3.	Ал­го­рит­ми­че­ские мо­де­ли	12	12	2	-	10	36
4.	Слож­ность ал­го­рит­мов	14	12	-	-	11	37

6. Ла­бо­ра­тор­ный прак­ти­кум

Ла­бо­ра­тор­ный прак­ти­кум не пре­ду­смот­рен


7. При­мер­ная те­ма­ти­ка кур­со­вых про­ек­тов (ра­бот)

Кур­со­вой про­ект (ра­бо­та) не пре­ду­смот­рен.


8. Учеб­но-ме­то­ди­че­ское и ин­фор­ма­ци­он­ное обес­пе­че­ние дис­ци­п­ли­ны:

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

1. Яб­лон­ский С.В. Вве­де­ние в дис­крет­ную ма­те­ма­ти­ку. – М.: Выс­шая шко­ла, 2002.
   
2. Ус­пен­ский В.А., Ве­ре­ща­гин Н.К., Пли­ско В.Е. Ввод­ный курс ма­те­ма­ти­че­ской ло­ги­ки. 2-е изд. – М.: Физ­мат­лит, 2002.
   
3. Лав­ров И.А., Мак­си­мо­ва Л.Л. За­да­чи по тео­рии мно­жеств, ма­те­ма­ти­че­ской ло­ги­ки и тео­рии ал­го­рит­мов. – М.: Физ­мат­лит, 2004.
   
4. Глу­хов М.М., Ша­пош­ни­ков В.А., Шиш­ков А.Б., Коз­ли­тин О.А. За­да­чи и уп­раж­не­ния по ма­те­ма­ти­че­ской ло­ги­ке, дис­крет­ным функ­ци­ям и тео­рии ал­го­рит­мов. – СПб.: Лань, 2008.
   

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

1. Иго­шин В.И. Ма­те­ма­ти­че­ская ло­ги­ка и тео­рия ал­го­рит­мов. – М.: Изд-во «Ака­де­мия», 2004.
   
2. Фо­ми­чев В.М. Дис­крет­ная ма­те­ма­ти­ка и крип­то­ло­гия. – М.: Диа­лог-МИФИ, 2003.
   
3. Гав­ри­лов Г.П., Са­по­жен­ко А.А. За­да­чи и уп­раж­не­ния по кур­су дис­крет­ной ма­те­ма­ти­ки. – М.: Физ­мат­лит, 2005.
   

8.3. Про­грамм­ное обес­пе­че­ние

не пре­ду­смот­ре­но

8.4. Ба­зы дан­ных, ин­фор­ма­ци­он­но-спра­воч­ные и по­ис­ко­вые сис­те­мы

ву­зов­ские элек­трон­но-биб­лио­теч­ные сис­те­мы учеб­ной ли­те­ра­ту­ры;

ба­за на­уч­но-тех­ни­че­ской ин­фор­ма­ции ВИНИТИ РАН.

Элек­трон­но-биб­лио­теч­ная сис­те­ма долж­на обес­пе­чи­вать воз­мож­ность ин­ди­ви­ду­аль­но­го дос­ту­па для ка­ж­до­го обу­чаю­ще­го­ся из лю­бой точ­ки, в ко­то­рой име­ет­ся дос­туп к се­ти Ин­тер­нет.


9. Ма­те­ри­аль­но-тех­ни­че­ское обес­пе­че­ние дис­ци­п­ли­ны:

ком­пь­ю­тер­ный класс для вы­пол­не­ния до­маш­них за­да­ний с ис­поль­зо­ва­ни­ем уни­вер­саль­ных ма­те­ма­ти­че­ских па­ке­тов при­клад­ных про­грамм из рас­че­та од­но ра­бо­чее ме­сто на двух сту­ден­тов.


10. Ме­то­ди­че­ские ре­ко­мен­да­ции по ор­га­ни­за­ции изу­че­ния дис­ци­п­ли­ны

Лек­ция яв­ля­ет­ся од­ним из важ­ней­ших ви­дов учеб­ных за­ня­тий. Ее ос­нов­ное на­зна­че­ние – дать сис­те­ма­ти­зи­ро­ван­ные ос­но­вы на­уч­ных зна­ний по дис­ци­п­ли­не, рас­крыть со­дер­жа­ние, за­ко­но­мер­но­сти и тен­ден­ции раз­ви­тия изу­чае­мо­го пред­ме­та, ре­ко­мен­до­вать ме­то­ди­ку при­ме­не­ния тео­ре­ти­че­ских зна­ний на прак­ти­ке, скон­цен­три­ро­вать вни­ма­ние обу­чае­мых на наи­бо­лее слож­ных и уз­ло­вых во­про­сах, сти­му­ли­ро­вать их ак­тив­ную по­зна­ва­тель­ную дея­тель­ность, фор­ми­ро­вать твор­че­ское мыш­ле­ние и по­треб­ность в са­мо­об­ра­зо­ва­нии.

Лек­тор дол­жен сво­бод­но вла­деть ма­те­риа­лом. За­чи­ты­ва­ние тек­ста лек­ции по под­го­тов­лен­ным ма­те­риа­лам не ре­ко­мен­ду­ет­ся. Не ре­ко­мен­ду­ет­ся да­вать ма­те­ри­ал для кон­спек­ти­ро­ва­ния под дик­тов­ку, за ис­клю­че­ни­ем фор­му­ли­ро­вок клю­че­вых вы­во­дов. Ре­ко­мен­ду­ет­ся про­ве­рять ка­че­ст­во кон­спек­ти­ро­ва­ния обу­чае­мы­ми лек­ци­он­но­го ма­те­риа­ла.

В слу­чае сла­бой про­ра­бот­ки сту­ден­та­ми ма­те­риа­лов пре­ды­ду­щих лек­ций, сле­ду­ет об­ра­щать осо­бое вни­ма­ние на на­по­ми­на­ние прой­ден­но­го ма­те­риа­ла и не­об­хо­ди­мость са­мо­стоя­тель­ной под­го­тов­ки к лек­ци­ям.

При чте­нии лек­ции сле­ду­ет об­ра­щать осо­бое вни­ма­ние на меж­пред­мет­ные свя­зи и ак­цен­ти­ро­вать вни­ма­ние на со­от­вет­ст­вую­щих во­про­сах, за­тра­ги­вае­мых в дру­гих дис­ци­п­ли­нах. Для это­го лек­тор по дан­ной дис­ци­п­ли­не дол­жен под­дер­жи­вать тес­ный ра­бо­чий кон­такт с те­ми пре­по­да­ва­те­ля­ми, све­де­ния из дис­ци­п­лин ко­то­рых он ис­поль­зу­ет. Для ук­ре­п­ле­ния меж­пред­мет­ных свя­зей и со­гла­со­ва­ния ди­дак­ти­че­ских еди­ниц раз­лич­ных дис­ци­п­лин со­от­вет­ст­вую­щие во­про­сы вклю­ча­ют­ся в по­ве­ст­ку дня за­се­да­ний ме­то­ди­че­ских сек­ций по цик­лам дис­ци­п­лин, а наи­бо­лее важ­ные во­про­сы вы­но­сят­ся на за­се­да­ния учеб­но-ме­то­ди­че­ско­го се­ми­на­ра ка­фед­ры по ини­циа­ти­ве пре­по­да­ва­те­лей.

Прак­ти­че­ское за­ня­тие име­ет це­лью нау­чить обу­чае­мых при­ме­нять тео­ре­ти­че­ские зна­ния при ре­ше­нии прак­ти­че­ских за­дач. Это груп­по­вое за­ня­тие сту­ден­тов под ру­ко­во­дством пре­по­да­ва­те­ля, на­прав­лен­ное на вы­ра­бот­ку и за­кре­п­ле­ние про­фес­сио­наль­ных уме­ний и на­вы­ков.

Во вре­мя про­ве­де­ния прак­ти­че­ско­го за­ня­тия ре­ко­мен­ду­ет­ся об­ра­тить осо­бое вни­ма­ние на ак­ти­ви­за­цию са­мо­стоя­тель­ной ра­бо­ты сту­ден­тов над за­да­ча­ми. Ре­ко­мен­ду­ет­ся прак­ти­ко­вать вы­да­чу обу­чае­мым для са­мо­стоя­тель­ной ра­бо­ты те­ку­щих до­маш­них за­да­ний, час­тич­ный раз­бор их ре­ше­ний на прак­ти­че­ских за­ня­ти­ях и по­сто­ян­ный кон­троль их вы­пол­не­ния.

По ме­ре воз­мож­но­сти сле­ду­ет прак­ти­ко­вать про­ве­де­ние прак­ти­че­ских за­ня­тий с ис­поль­зо­ва­ни­ем средств вы­чис­ли­тель­ной тех­ни­ки в спе­циа­ли­зи­ро­ван­ных клас­сах.

В ка­че­ст­ве средств для те­ку­ще­го кон­тро­ля ус­пе­вае­мо­сти и про­ме­жу­точ­ной ат­те­ста­ции сту­ден­тов ре­ко­мен­ду­ют­ся:

Ин­ди­ви­ду­аль­ные дол­го­сроч­ные за­да­ния. Сту­ден­ту пред­ла­га­ет­ся са­мо­стоя­тель­но ре­шить не­ко­то­рые за­да­чи, ко­то­рые не за­да­ва­лись в ви­де до­маш­не­го за­да­ния. По ито­гам вы­пол­не­ния ин­ди­ви­ду­аль­но­го дол­го­сроч­но­го за­да­ния пре­по­да­ва­тель вы­став­ля­ет сту­ден­ту до­пол­ни­тель­ную оцен­ку.

Про­ве­де­ние на прак­ти­че­ских за­ня­ти­ях пись­мен­ных 10 ми­нут­ных кон­троль­ных оп­ро­сов для всех сту­ден­тов.

В со­от­вет­ст­вии со спе­ци­фи­кой ВУЗа в про­цес­се пре­по­да­ва­ния дис­ци­п­ли­ны ме­то­ди­че­ски це­ле­со­об­раз­но в ка­ж­дом раз­де­ле вы­де­лить наи­бо­лее важ­ные те­мы и ак­цен­ти­ро­вать на них вни­ма­ние обу­чае­мых.

Те­ку­щий кон­троль ус­вое­ния зна­ний осу­ще­ст­в­ля­ет­ся пу­тем вы­пол­не­ния двух кон­троль­ных ра­бот, про­вер­ки вы­пол­не­ния до­маш­не­го за­да­ния, оп­ро­сов на прак­ти­че­ских за­ня­ти­ях.

При­мер­ным учеб­ным пла­ном на изу­че­ние дис­ци­п­ли­ны от­во­дят­ся два се­ме­ст­ра. В кон­це пер­во­го се­ме­ст­ра в ка­че­ст­ве про­ме­жу­точ­но­го кон­тро­ля пре­ду­смот­рен за­чёт. В кон­це вто­ро­го се­ме­ст­ра в ка­че­ст­ве ито­го­во­го кон­тро­ля пре­ду­смот­рен эк­за­мен. На под­го­тов­ку и сда­чу эк­за­ме­на в со­от­вет­ст­вии с ФГОС ВПО и при­мер­ным учеб­ным пла­ном вы­де­ля­ет­ся 36 ча­сов. Це­ле­со­об­раз­но осу­ще­ст­в­лять про­ве­де­ние эк­за­ме­на в фор­ме уст­но­го оп­ро­са по би­ле­там. В би­лет це­ле­со­об­раз­но вклю­чать не ме­нее двух тео­ре­ти­че­ских во­про­сов.

При­мер­ный пе­ре­чень тем до­маш­них за­да­ний:

Фор­му­лы ал­геб­ры вы­ска­зы­ва­ний

Спо­со­бы за­да­ния бу­ле­вых функ­ций. Мно­го­член Же­гал­ки­на

Пол­ные сис­те­мы функ­ций. Клас­сы По­ста. Кри­те­рий пол­но­ты

Пред­став­ле­ния функ­ций k-знач­ной ло­ги­ки

Пол­но­та сис­тем функ­ций k-знач­ной ло­ги­ки

Клас­си­фи­ка­ция функ­ций k-знач­ной ло­ги­ки

Язык ис­чис­ле­ния вы­ска­зы­ва­ний

Ак­сио­мы и пра­ви­ла вы­во­да ис­чис­ле­ния вы­ска­зы­ва­ний

Язык ис­чис­ле­ния пре­ди­ка­тов

Ак­сио­мы и пра­ви­ла вы­во­да ис­чис­ле­ния пре­ди­ка­тов

Ско­ле­мов­ская стан­дарт­ная фор­ма

Эр­бра­нов­ская нор­маль­ная фор­ма

Про­грам­ми­ро­ва­ние по Тью­рин­гу

Час­тич­но ре­кур­сив­ные функ­ции

Вза­им­ное мо­де­ли­ро­ва­ние ал­го­рит­мов

Ал­го­рит­ми­че­ски не­раз­ре­ши­мые за­да­чи

Функ­ции слож­но­сти и их свой­ст­ва

Клас­сы слож­но­сти P и NP

Раз­ра­бот­чи­ки: УМО ИБ

УЧЕБНО-МЕТОДИЧЕСКОЕ ОБЪЕДИНЕНИЕ ПО ОБРАЗОВАНИЮ

В ОБЛАСТИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ


ПРОЕКТ


ПРИМЕРНАЯ УЧЕБНАЯ ПРОГРАММА


На­име­но­ва­ние дис­ци­п­ли­ны

«Ин­фор­ма­ти­ка»


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

090303Ин­фор­ма­ци­он­ная безо­пас­но­сть­ав­то­ма­те­зи­ро­ван­ных сис­тем


Ква­ли­фи­ка­ция (сте­пень) вы­пу­ск­ни­ка

«Спе­циа­лист»


МОСКВА 2011

1. Це­ли и за­да­чи дис­ци­п­ли­ны

Це­лью изу­че­ния дис­ци­п­ли­ны «Ин­фор­ма­ти­ка» яв­ля­ет­ся фор­ми­ро­ва­ние об­щей ин­фор­ма­ци­он­ной куль­ту­ры сту­ден­тов, под­го­тов­ка их к дея­тель­но­сти, свя­зан­ной с ис­поль­зо­ва­ни­ем со­вре­мен­ных ин­фор­ма­ци­он­ных тех­но­ло­гий.

За­да­чи дис­ци­п­ли­ны:

изу­че­ние ос­нов­ных по­ня­тий ин­фор­ма­ти­ки;

изу­че­ние свойств и спо­со­бов за­пи­си ал­го­рит­мов;

изу­че­ние спо­со­бов пред­став­ле­ния чи­сел, сим­во­лов, гра­фи­ки, ау­дио- и ви­део­ин­фор­ма­ции в пер­со­наль­ном ком­пь­ю­те­ре;

оз­на­ком­ле­ние с ло­ги­че­ски­ми ос­но­ва­ми уст­рой­ст­ва ЭВМ;

оз­на­ком­ле­ние с со­ста­вом и на­зна­че­ни­ем функ­цио­наль­ных уз­лов ком­пь­ю­те­ра;

изу­че­ние ос­нов по­строе­ния опе­ра­ци­он­ных сис­тем (ОС) на при­ме­ре ОС с от­кры­тым ко­дом;

изу­че­ние ос­нов про­грам­ми­ро­ва­ния в ко­манд­ных обо­лоч­ках;

ов­ла­де­ние на­вы­ка­ми при­ме­не­ния сер­вис­ных про­грамм­ных средств сис­тем­но­го и при­клад­но­го на­зна­че­ния;

изу­че­ние ос­нов по­строе­ния ком­пь­ю­тер­ных се­тей;

ов­ла­де­ние на­вы­ка­ми по­ис­ка ин­фор­ма­ции в гло­баль­ной ин­фор­ма­ци­он­ной се­ти Ин­тер­нет.


2. Ме­сто дис­ци­п­ли­ны в струк­ту­ре ООП

Дис­ци­п­ли­на "Ин­фор­ма­ти­ка" в ос­нов­ной об­ра­зо­ва­тель­ной про­грам­ме под­го­тов­ки ба­ка­лав­ров на­хо­дит­ся в учеб­ном бло­ке ма­те­ма­ти­че­ских и ес­те­ст­вен­но­на­уч­ных дис­ци­п­лин.

Для ус­пеш­но­го ус­вое­ния дан­ной дис­ци­п­ли­ны не­об­хо­ди­мо, что­бы сту­дент вла­дел зна­ния­ми, уме­ния­ми и на­вы­ка­мив объ­е­ме тре­бо­ва­ний «СТАНДАРТА СРЕДНЕГО (ПОЛНОГО) ОБЩЕГО ОБРАЗОВАНИЯ ПО ИНФОРМАТИКЕ И ИКТ» Ми­ноб­ра­зо­ва­ния Рос­сии от 05.03.04 №1089.

Дис­ци­п­ли­на "Ин­фор­ма­ти­ка" яв­ля­ет­ся пред­ше­ст­вую­щей для изу­че­ния сле­дую­щих дис­ци­п­лин: «Язы­ки про­грам­ми­ро­ва­ния», «Ор­га­ни­за­ция ЭВМ и вы­чис­ли­тель­ных сис­тем», «Ос­но­вы ин­фор­ма­ци­он­ной безо­пас­но­сти», «Безо­пас­ность опе­ра­ци­он­ных сис­тем», «Безо­пас­ность се­тей ЭВМ».


3. Тре­бо­ва­ния к ре­зуль­та­там ос­вое­ния дис­ци­п­ли­ны

Про­цесс изу­че­ния дис­ци­п­ли­ны на­прав­лен на фор­ми­ро­ва­ние сле­дую­щих ком­пе­тен­ций:

спо­соб­ность ло­ги­че­ски вер­но, ар­гу­мен­ти­ро­ва­но и яс­но стро­ить уст­ную и пись­мен­ную речь на рус­ском язы­ке, го­то­вить и ре­дак­ти­ро­вать тек­сты про­фес­сио­наль­но­го на­зна­че­ния, пуб­лич­но пред­став­лять соб­ст­вен­ные и из­вест­ные на­уч­ные ре­зуль­та­ты, вес­ти дис­кус­сии (ОК-7);

спо­соб­ность по­ни­мать сущ­ность и зна­че­ние ин­фор­ма­ции в раз­ви­тии со­вре­мен­но­го об­ще­ст­ва, при­ме­нять дос­ти­же­ния со­вре­мен­ных ин­фор­ма­ци­он­ных тех­но­ло­гий для по­ис­ка и об­ра­бот­ки боль­ших объ­е­мов ин­фор­ма­ции по про­фи­лю дея­тель­но­сти в гло­баль­ных ком­пь­ю­тер­ных сис­те­мах, се­тях, в биб­лио­теч­ных фон­дах и в иных ис­точ­ни­ках ин­фор­ма­ции (ПК-3);

спо­соб­ность ра­бо­тать с про­грамм­ны­ми сред­ст­ва­ми при­клад­но­го, сис­тем­но­го и спе­ци­аль­но­го на­зна­че­ния (ПК-8).

В ре­зуль­та­те изу­че­ния дис­ци­п­ли­ны сту­дент дол­жен

знать:

ос­нов­ные по­ня­тия ин­фор­ма­ти­ки;

фор­мы и спо­со­бы пред­став­ле­ния дан­ных в пер­со­наль­ном ком­пь­ю­те­ре;

со­став, на­зна­че­ние функ­цио­наль­ных ком­по­нен­тов и про­грамм­но­го обес­пе­че­ния пер­со­наль­но­го ком­пь­ю­те­ра;

клас­си­фи­ка­цию со­вре­мен­ных ком­пь­ю­тер­ных сис­тем;

ти­по­вые струк­ту­ры и прин­ци­пы ор­га­ни­за­ции ком­пь­ю­тер­ных се­тей;

уметь:

при­ме­нять ти­по­вые про­грамм­ные сред­ст­ва сер­вис­но­го на­зна­че­ния (сред­ст­ва вос­ста­нов­ле­ния сис­те­мы по­сле сбо­ев, деф­раг­мен­та­ции и очи­ст­ки дис­ка);

поль­зо­вать­ся се­те­вы­ми сред­ст­ва­ми для об­ме­на дан­ны­ми, в том чис­ле с ис­поль­зо­ва­ни­ем гло­баль­ной ин­фор­ма­ци­он­ной се­ти Ин­тер­нет;

вла­деть:

на­вы­ка­ми ра­бо­ты с офис­ны­ми при­ло­же­ния­ми (тек­сто­вы­ми про­цес­со­ра­ми, элек­трон­ны­ми таб­ли­ца­ми, сред­ст­ва­ми под­го­тов­ки пре­зен­та­ци­он­ных ма­те­риа­лов);

на­вы­ка­ми обес­пе­че­ния безо­пас­но­сти ин­фор­ма­ции с по­мо­щью ти­по­вых про­грамм­ных средств (ан­ти­ви­ру­сов, ар­хи­ва­то­ров, стан­дарт­ных се­те­вых средств об­ме­на ин­фор­ма­ци­ей).