Дискретная математика. ПИ-201 (2016-2017)

Последнее изменение: 13/06/2017 19:51:13

Билеты к экзамену Билеты не обязательно совпадают с теми билетами, что будут на экзамене. В билете будет один теоретический вопрос и одна задача. Чтобы получить отлично нужно будет решить дополнительную задачу.

Результаты семестра(update 13.06) Причины недопуска: не написана\ написана на 0 контрольная работа, мало баллов за семестр. После консультации можно будет написать\переписать контрольные и добавить баллов.

Домашнее задание по автоматам

Домашнее задание от 17.04
Докажите, что формула B or forall x A(x) равносильна forall x (B or A(x)), где forall - квантор всеобщности, а формула B не имеет свободных переменных.

Домашнее задание от 20.03

Домашнее задание 1