Semestr zimowy 2008/09
Semestr zimowy 2009/10
Semestr zimowy 2010/11
Semestr zimowy 2011/12
Semestr zimowy 2012/13
Semestr zimowy 2013/14
Logika dla informatyków IN081104
Zakres materiału:
1. Działania na zbiorach oraz prawa algebry zbiorów.
2. Klasyczny rachunek zdań- tautologie i reguły wnioskowania.
3. Rachunek kwantyfikatorów- jego prawa i zastosowanie.
4. Pojęcie relacji. Funkcje jako relacje: surjekcje, injekcje, bijekcje.
5 Relacja równoważności i zasada abstrakcji.
6. Relacje porządku.
7. Teoria mocy zbiorów.
Rodzaj przedmiotu
Koordynatorzy przedmiotu
W cyklu 2013Z: | W cyklu 2009Z: | W cyklu 2010Z: | W cyklu 2012Z: | W cyklu 2011Z: |
Kryteria oceniania
Zaliczenie ćwiczeń na podstawie testu sprawdzającego.
W formie obserwacji, sprawdzeniu podlega również aktywność studenta na
zajęciach.
Prowadzący organizuje również jeden sprawdzian poprawkowy na koniec semestru, dla tych,
którzy w sprawdzianach pisemnych nie uzyskali wyników gwarantujących
ocenę pozytywną.
Sprawdzeniu w czasie testów podlegają efekty kształcenia (zgodnie z kartą przedmiotu):
Ocenę ustala prowadzący na podstawie poniższej tabeli
odnoszącej się do procentowego wyniku możliwych do uzyskania punktów na kolokwium
[0,50) - niedostateczny
[50,60) - dostateczny
[60,70) - dostateczny plus
[70,80) - dobry
[80,90) - dobry plus
[90,100) - bardzo dobry
Za aktywność na zajęciach prowadzący może podnieść ocenę końcową o
jedną lub dwie oceny w górę.
Zaliczenie wykładu. Warunkiem zaliczenia wykładu jest zaliczenie ćwiczeń.
- przepisanie oceny z ćwiczeń lub ustna odpowiedź studenta na pytania prowadzącego na ostatnim wykładzie
Literatura
a) podstawowa:
1. W. Marek, J. Onyszkiewicz: Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN,Warszawa 1996.
2. H. Rasiowa: Wstęp do matematyki współczesnej, Państwowe Wydawnictwo Naukowe, Warszawa 1998.
b) uzupełniająca:
1. G. Mirkowska: Matematyka dyskretna, PJWSTK 2003.
2. Ross Kenneth A., Wright Charles R.B.: Matematyka dyskretna, Wydawnictwo Naukowe PWN
Warszawa, 2008.