РАЗДЕЛ 1. Основы теории множеств. РАЗДЕЛ 2. Формулы логики. РАЗДЕЛ 3. Булевы функции. laboratornaja_rabota.doc o_t_ch_e_t.doc prezentacija.ppt РАЗДЕЛ 4. Логика предикатов. РАЗДЕЛ 5. Основы теории вычислимых функций.