Semestr letni 2014/15

• Zadania domowe na 13 III
• Zadania domowe na 27 III
• Zadania domowe na 10 IV
• Zadania domowe na 24 IV
• Zadania domowe na 12 VI

• Wykład 1: Simpson, rozdz. I.2, I.3, II.1, II.2. Ćwiczenia: przegląd teorii rekursji (tj. teorii obliczalności). Można zajrzeć do klasycznych podręczników Cutlanda, Rogersa czy Shoenfielda, ale pewnie wystarczy wikipedia.
• Wykład 2: Simpson II.3, II.4 do tw. II.4.8, III.1. Ćwiczenia: Simpson IX.1.
• Wykład 3: Simpson III.2 do tw. III.2.2, III.5. Ćwiczenia: Simpson II.5 do lematu II.5.7.
• Wykład 4: Simpson II.9 i trochę II.8. Elim. kwantyfikatorów dla ACF: np. Adamowicz-Zbierski rozdz. 17. Elim. cięcia: np. Handbook of Proof Theory rozdz. I (jest na stronie Sama Bussa). Ćwiczenia: Simpson, początek IX.3, II.6.
• Wykład 5: Simpson IX.3. Ćwiczenia: Simpson, tw. II.6.6, dokończenie III.2.
• Wykład 6: Simpson IX.2. Ćwiczenia: Simpson, ostatnie uwagi do III.2, zagadnienia związane z f. pierw. rek. i f. Ackermanna trochę wykraczające poza IX.3 (ale chyba nie trzeba osobnego źródła).
• Wykład 7: Simpson IV.1 do twierdzenia IV.1.2, IV.6. Ćwiczenia: Simpson, lemat IV.1.4, lemat IV.4.4, IV.3.
• Wykład 8: Simpson IV.2. Ćwiczenia: Simpson, dokończenie dowodu tw. IV.2.3. Szkic konstrukcji z K. Tanaka, Ann. Pure App. Logic 84(1) (1997), 41-49. Nieco bałaganu, wyprostowanego tutaj.
• Wykład 9: Simpson V.2, V.1, V.4. Ćwiczenia: szkic konstrukcji z K. Tanaka, Math. Logic Quart. 43(3) (1997), 396-400. Simpson, stw. V.2.5, lemat V.2.9, def. V.3.1-2, do przemyślenia lemat V.3.3.
• Wykład 10: Simpson, twierdzenie V.3.9. Ćwiczenia: Simpson, wcześniejsza część V.3, połowa twierdzenia V.5.1.
• Wykład 11: Simpson, omówienie treści rozdziału VII.3 do tw. VII.3.24, początek VI.1. Ćwiczenia: Simpson, V.5.
• Wykład 12: Simpson, dokończenie VI.1, VI.4. Ćwiczenia: Simpson, VII.6.6(1), V.8.2, V.8.3.

  ---

  Strona główna