программа колоквиума (и определения, и задачи, и доказательства)

основные конструкции: логика, множества и математическая индукция

определения:

• логические связки и их таблица истинности

• законы де моргана

• принцип контрапозиции

• свойства дизъюнкции и конъюнкции

• множества, теоретико-множественные операции

• взаимосвясь множеств и булевой логики

• принцип математической индукции

• принцип полной математической индукции

доказательство:

• формула для чисел фибоначчи