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