Wst�p do logiki

(r. ak. 2003/2004)

Prowadz�cy

Wyk�ad

�wiczenia

Zasady zaliczania

Wyk�ad

Ocena ko�cowa b�dzie obliczana na podstawie 3 sk�adowych:

�eby zaliczy� przedmiot w pierwszym terminie trzeba zaliczy� oba kolokwia oraz uzyska� co najmniej 55 punkt�w. Dok�adniejsze zasady zaliczania w drugim terminie pojawi� si� p�niej.

Egzamin

Egzamin b�dzie polega� na rozwi�zaniu pewnej ilo�ci zada�. Na egzaminie nie b�dzie mo�na mie� �adnych w�asnych materia��w opr�cz zwyk�ych przybor�w do pisania i zegarka. Nie b�dzie mo�na korzysta� z telefon�w kom�rkowych (nawet w roli zegarka).

�wiczenia

Zaliczenie �wicze� mo�na uzyska� poprzez udzia� w 2 kolokwiach i uzyskanie z nich odpowiedniego wyniku. Na ka�dym z 2 kolokwi�w mo�na b�dzie zdoby� 20 punkt�w. Zaliczenie uzyskuje si� zdobywaj�c z ka�dego z kolokwi�w co najmniej 4 punkty i w sumie za prac� na �wiczeniach (kolokwia oraz punkty uznaniowe od �wiczeniowc�w) co najmniej 20 punkt�w.

Prowadz�cy �wiczenia mo�e przy zaliczeniu doda� do punkt�w uzyskanych za kolokwia do 5 punkt�w. Punkty te mog� by� przyznane za aktywno�� na �wiczeniach i/lub oddanie znacz�cej cz�ci prac domowych.

Kolokwia

Kolokwia b�d� polega�y na rozwi�zaniu pewnej ilo�ci zada�. Na kolokwium nie b�dzie mo�na mie� �adnych w�asnych materia��w opr�cz zwyk�ych przybor�w do pisania i zegarka. Nie b�dzie mo�na korzysta� z telefon�w kom�rkowych (nawet w roli zegarka).

Materia�y przygotowawcze do kolokwi�w i egzamin�w

Zadania z kolokwi�w z poprzedniego roku

Zadania z egzamin�w z poprzednich lat (do sciagniecia tylko na terenie Wydzialu):

R�ne inne materia�y

Plan wyk�adu

  1. Algebra: homomorfizmy
  2. Algebra: homomorfizmy, podalbebry
  3. Algebra: podalgebry, kongruencje, produkty
  4. Algebra: klasy r�wno�ciowo definiowalne
  5. Algebra: dow�d tw. Birkhoffa
  6. Unifikacja: algorytm unifikacji i jego poprawnosc
  7. Rachunek zda�: sk�adnia, semantyka, hilbertowski system dowodzenia
  8. Rachunek zda�: naturalna dedukcja, gentzenowski system dowodzenia, ntuicjonistyczna
  9. Logika 1. rz�du: sk�adnia i semantyka
  10. Logika 1. rz�du: podstawianie term�w, hilbertowski system dowodzenia,
  11. Logika 1. rz�du: teoria mnogo�ci Zermelo-Fraenkla
  12. Logika 1. rz�du: elementy teorii modeli, zasada rezolucji
  13. Logika 2. rz�du: sk�adnia i semantyka