sapal / tpl

Notes for Programming in Logic course at the Jagiellonian University

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

Notes for Programming in Logic course at the Jagiellonian University