ОС-320-328-11 (программа 3 потока, 2011 год) (Программа курса), страница 2

б) В классе ([5, гл. IX]): 3.1(1,5) 3.3 (1,2 – построить ядро, ДНФ Квайна и ДНФ
«сумма тупиковых»), 3.4 (3), 3.6 (1,4,7).

в) На дом ([5, гл. IX]): 3.1(4,6), 3.3 (3,4 – построить ядро, ДНФ Квайна и ДНФ
«сумма тупиковых»), 3.4(4), 3.6 (3,6,8).

1. Тесты для таблиц, тесты для контактных схем.

а) Теоретический материал: [1:с.65-72, 51-55], [4:с.29-32, 35-36].

б) В классе ([4]): 5.1 (1, 2 – все тупиковые диагностические тесты), 5.1 (3 – все тупиковые проверяющие тесты), 6.2, 6.4, 6.11 (если хватит времени).

в) На дом ([4]): 5.1 (5 – все тупиковые диагностические тесты, 6 – все тупиковые проверяющие тесты), 6.3, 6.5, 6.14.

1. Эквивалентные преобразования формул. Оптимизация подобных формул по глубине.

а) Теоретический материал: [1:с.147-161, 86-90], [4:с.29-32, 35-36].

б) В классе ([4, 1]): 3.1 (1), 3.3 (1,4), 3.8 (1-3), 3.9 (1); построить для ДНФ подобную ей формулу минимальной глубины.

в) На дом ([4, 1]); 3.1 (2), 3.3 (3,6), 3.8 (5-9), 3.9 (2);

построить для ДНФ подобную ей формулу минимальной глубины.

1. Моделирование формул и π-схем. Эквивалентные преобразования КС.

а) Теоретический материал: [1:с.115-117,169-185].

б) В классе ([1, 4]): по заданной формуле с поднятыми отрицаниями построить моделирующую π-схему и обратно; 4.1 (2,5, 7-9), 4.3 (1).

в) На дом ([4]): 4.1 (10-13), 4.3 (3).

1. Сложность ФАЛ и простейшие методы синтеза схем. Метод Шеннона.

а) Теоретический материал: [1: с. 186-210].

б) В классе ([5, гл. X]):1.1 (2, 3, 4, ФАЛ – как в классе СФЭ, так и в классе КС, а также ФАЛ – в классе КС); 2.4 (1); доказать минимальность некоторых из построенных в предыдущих задачах схем; разлагая ФАЛ от 3 или 4 БП по всем БП, кроме последней, построить для неё КС по методу Шеннона.

в) На дом ([5, гл. X]): 1.1 (5-7), 2.4 (2); доказать минимальность некоторых из построенных в предыдущих задачах схем; разлагая ФАЛ от 3 или 4 БП по всем БП, кроме последней, построить для неё КС по методу Шеннона.

1. Каскадные КС, метод каскадов для КС и СФЭ. Синтез самокорректирующихся КС.

а) Теоретический материал: [1: с. 186-210], [4, с. 47-48].

б) В классе: [5, гл. X]: 2.13 (1,7), 2.14 (1), 2.14 (5 – как КС и СФЭ) и т.п.; для заданной каскадной КС построить инверсную к ней КС; ([4]) 7.7(б), 7.8 (1), 7.11 (1).

в) На дом ([5, гл. X]): 2.13 (2,6), 2.14 (2), 2.14 (6 – как КС, так и СФЭ); для заданной каскадной КС построить инверсную к ней КС; ([4]) 7.7 (в), 7.8 (2),7.9 (а).

1. Асимптотически наилучшие методы синтеза, синтез схем для ФАЛ из специальных классов.

а) Теоретический материал: [1, с. 215-216, 222-224].

б) В классе: установить асимптотику функции Шеннона для сложности класса всех ФАЛ равных 1 при x₁=1 (КС), класса всех самодвойственных ФАЛ (СФЭ), класса всех ФАЛ симметричных по первым трем БП (КС), класса операторов из трех ортогональных ФАЛ (СФЭ).

в) На дом: установить асимптотику функции Шеннона для сложности класса всех ФАЛ, равных 0 при x₁=x₂=0 (КС), класса, состоящего из всех тех ФАЛ, у которых любая подфункция от первых трех БП линейна (СФЭ), класса операторов из трех строгоортогональных ФАЛ.

1. Предварительный график проведения тестов (контрольных работ).

Раздел I и вопрос 29: тест №1 – 25 февраля (1 час).

тест - контрольная №2 – 18 марта (2 часа).

Раздел II: тест №3 – 1 апреля (1 час).

тест - контрольная №4 – 15 апреля (2 часа).

Разделы III – IV (без вопроса 29): тест №5 – 6 мая (1 час)

тест - контрольная №6 – 20 мая (2 часа).

1. О проведении экзамена по курсу «Основы кибернетики».

Для студентов, имеющих предварительную оценку «5», экзамен проводится в форме собеседования по программе курса на определения, формулировки утверждений и идеи их доказательства, методы решения задач. Для студентов, имеющих предварительную оценку «2», экзамен представляет собой письменный тест – контрольную.

Все остальные студенты (с предварительной оценкой «3-», «3» и «4») получают билет с двумя вопросами и одной задачей и после 15-20 минутной подготовки отвечают на него сначала на уровне определений, формулировок утверждений и идей их доказательства, а также методов решения задач. Затем студент, по усмотрению экзаменатора, должен раскрыть те или иные детали доказательства утверждений из вопросов билета по конспектам или иным источникам, а также полностью или частично решить задачу билета в течение выделенного специально для этого времени. Студенты, набравшие не менее 80% от суммы баллов по задачам тестов и тестов - контрольных соответствующего раздела, от решения билетной задачи данного типа освобождаются. Последний этап экзамена представляет собой описанное выше собеседование по другим вопросам или задачам программы.

В соответствии с общими правилами итоговая экзаменационная оценка не может превосходить предварительную оценку больше, чем на один балл. Студент, который имеет предварительную оценку «3» или «4» и не претендует на более высокую итоговую оценку, сдает экзамен, как правило, по упрощенной процедуре (в форме собеседования по билету и программе без предварительной подготовки) с целью подтверждения этой оценки.

1. Дополнительные лекции (занятия)

15, 22, 29 марта, 14³⁵ и 16²⁰, П-6 (вместо лекций С.А. Абрамова)

3