The notes are in Polish, sorry.

Teoria Programowania w Logice

Notatki do wykładu profesora Zaionca prowadzonego w semestrze letnim 2013.

Wskazówki dla piszących notatki

• Co do zasady, cały wykład dopisuje jedna osoba, ale wszelkie poprawki od pozostałych są mile widziane.
• Jeśli piszący jest zdania, że jakiś dowód jest wystarczająco łatwy, pomija go.
• Jeśli czytający jest zdania, że jednak nie, może ten dowód dopisać.
• Staramy się, żeby całość notatek była w podobnym stylu. Dopisując nowy wykład wzorujemy się na poprzednich.
• W szczególności staramy się, żeby źródła były czytelne, np. łamiemy linie dłuższe niż 80 znaków.
• Przed wysłaniem zmian do repo odpalamy spellcheckera.