Источники. 1. Глухов М.М., Елизаров В.П., Нечаев А.А

1. Глухов М.М., Елизаров В.П., Нечаев А.А. Алгебра. Ч. 1, П., учебник, 1990-91.

Раз­дел 4. МА­ТЕ­МА­ТИ­ЧЕ­СК­МАЯ ЛО­ГИ­КА И ТЕО­РИЯ АЛ­ГО­РИТ­МОВ

24. Бу­ле­вы функ­ции. Пред­став­ле­ние бу­ле­вых функ­ций фор­му­ла­ми ал­геб­ры вы­ска­зы­ва­ний и мно­го­чле­на­ми Же­гал­ки­на. Дизъюнктивные и конъюнктивные нормальные формы.

25. Замк­ну­тые клас­сы функ­ций. Кри­те­рии пол­но­ты для бу­ле­вых функ­ций.

26. Ис­чис­ле­ния вы­ска­зы­ва­ний и пре­ди­ка­тов, их пол­но­та и не­про­ти­во­ре­чи­вость.

27. Ос­нов­ные под­хо­ды к фор­ма­ли­за­ции по­ня­тия ал­го­рит­ма: ма­ши­ны Тью­рин­га, ре­кур­сив­ные функ­ции, нор­маль­ные ал­го­рит­мы Мар­ко­ва.

28. Оцен­ка слож­но­сти ал­го­рит­мов Га­ус­са (ре­ше­ния сис­тем ли­ней­ных урав­не­ний), Штрас­се­на (ум­но­же­ния мат­риц), Евк­ли­да (вы­чис­ле­ние НОД).

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

Источники

1. Шелупанов А.А., Зюзьков В.М. Математическая логика и теория алгоритмов. – Томск: STT, 2001. – 176 с.

Раз­дел 5. ТЕО­РИЯ ИН­ФОР­МА­ЦИИ И КО­ДИ­РО­ВА­НИЯ

30. Эн­тро­пия вероятностной схемы и ее свой­ст­ва. Условная энтропия. Взаимная информация и ее свойства. Ко­ли­че­ст­во ин­фор­ма­ции.

31. Математическая модель канала связи. Про­пу­ск­ная спо­соб­ность ка­на­ла свя­зи.

32. Ли­ней­ный код и спо­со­бы его за­да­ния. Про­цесс де­ко­ди­ро­ва­ния ли­ней­но­го ко­да. Код Хем­мин­га.

33. Корректирующие свойства кодов. Примеры.

Дата добавления: 2015-09-01