математическая логика

1. Охарактеризуйте типы задач по математической логике, включаемые в олимпиады по математике. Приведите примеры таких задач (с указанием олимпиады), решите не менее 3 задач.

2. Проанализируйте кодификатор и спецификацию ЕГЭ по информатике: выделите необходимые знания и умения учащихся по математической логике, приведите типы заданий ЕГЭ по информатике (с решением) по данной теме. 

обязательно указать источники!!!