WST ¾

EP DO ANALIZY MAT. I LOGIKA, SEM. I 2006/07

Zasady zaliczenia przedmiotu (na studiach dziennych):

I.

Obecno´s´c na ´cwiczeniach i wyk÷

adach jest obowi ¾

azkowa.

II.

Ocena uzyskana z przedmiotu zale·

zy od aktywno´sci studenta na zaj ¾

eciach oraz wyników sprawdzianów.

III.

Zasady uzyskania zaliczenia przedmiotu:

Zaliczenie mo·

zna uzyska´c:

w czasie semestru – na podstawie

–

kolokwium (zadania z pierwszej cz ¾

e´sci semestru) oraz

–

sprawdzianu obejmuj ¾

acego materia÷z ´cwicze´n z drugiej cz ¾

e´sci semestru i ca÷

ego wyk÷

adu

(termin: ostatni wyk÷

ad);

w czasie sesji i sesji poprawkowej student ma mo·

zliwo´s´c poprawienia niezaliczonych w semestrze

sprawdzianów (3 terminy).

Na wszystkich sprawdzianach wymagane jest posiadanie dokumentu to·

zsamo´sci.

IV.

Program:

1. Funkcje i ich w÷

asno´sci. Funkcje elementarne. Dziedzina, przeciwdziedzina funkcji.

Sk÷

adanie funkcji. Funkcje odwrotne. Funkcje cyklometryczne.

2.

C

Rozwi ¾

azywanie równa´n i nierówno´sci .

3. Rachunek zda´n i kwanty…katorów. Prawa logiczne. Funkcje zdaniowe jednej i wielu zmiennych.
4. Algebra zbiorów. Prawa rachunku zbiorów i ich zwi ¾

azek z prawami logicznymi.

Dzia÷

ania uogólnione.

5. Relacje i ich w÷

asno´sci. Relacja równowa·

zno´sci, klasy abstrakcji, relacja porz ¾

adku.

Funkcje jako szczególny przypadek relacji.

6.

W

Równoliczno´s´c zbiorów. Zbiór pot ¾

egowy. Moc zbioru. Zbiory liczbowe.

7.

W

(tylko na kierunkach A, C i D)

Aksjomaty algebry Boole’a. Modele algebry Boole’a. Model sieciowy.

Minimalizacja formu÷boolowskich.

Obja´snienia:

W

tylko na wyk÷

adzie,

C

tylko na ´cwiczeniach,

materia÷do samodzielnej nauki

V.

Literatura:

Literatura podstawowa

:

Dobrowolska K., Dyczka W., Jakuszenkow H., Matematyka dla studentów studiów

technicznych "0",

HELPMATH, ×ód´z.

Kuratowski K., Mostowski A., Teoria mnogo´sci wraz ze wst ¾

epem do opisowej teorii mnogo´sci, PWN,

Warszawa 1978.

Matuszewska H., Matuszewski W., Elementy logiki i teorii mnogo´sci dla informatyków, BEL Studio

Sp.z o.o., Warszawa 2003.

Literatura uzupe÷

niaj ¾

aca:

Marek W., Onyszkiewicz J., Elementy logiki i teorii mnogo´sci w zadaniach, PWN, Warszawa 1991.