7581048422

Sel
Se2
Se3

	Suma godzin

_STOSOWANE NARZĘDZIA DYDAKTYCZNE_

NI. Precyzyjny opis problemów

N2. Sekwencyjny sposób rozwiązywania zadań stosując technik dowodów założeniowych N3. Analiza uzyskanych wyników

OCENA OSIĄGNIĘCIA PRZEDMIOTOWYCH EFEKTÓW KSZTAŁCENIA

Warunki zaliczenia to: (1) Regularne uczestnictwo na zajęciach (włącznie z aktywnym udziałem studentów podczas prowadzonych ćwiczeń), (2) Uzyskanie co najmniej oceny dostatecznej podczas przeprowadzenia kolokwium zaliczeniowego oraz (3) Zdanie egzaminu.

Oceny (F - formująca (w trakcie semestru), P - podsumowująca (na koniec semestru)	Numer efektu kształcenia	Sposób oceny osiągnięcia efektu kształcenia
FI	PEK W01	Rozwiązywanie zadań w czasie rzeczywistym
F2	PEK W02
F3
P PEK W01, PEK W02

LITERATURA PODSTAWOWA I UZUPEŁNIAJĄCA

LITERATURA PODSTAWOWA:

[1] BALAKRISHNAN V.K., Introductory Discrete Mathematics. Prentice Hall Int. 1991.

[2] BERGE C., Hypergraphs: Combinatories of Finite Sets. Amsterdam, North-Holland Publ. Co. 1989.

[3] BERGE C., Graphes et hypergraphes. Dunod Paris 1973 (Graphs and Hypergraphs. Amsterdam, North-Holland Publ. Co. 1976).

[4] BRONSTEIN I.N., SEMENDJAJEW K.A., MUSIOL G., MUHLIG H„ Taschenbuch der Mathematik. Verlag Harri Deutsch (2001) (w j. poi.: Nowoczesne kompendium matematyki. PWN Warszawa 2004).

[5] COPPEL W.A., Number theory: an introduction to mathematics. Part A. New York, Springer 2006.

[6] CUTLAND N., Computability. An introduction to recursive function theory. Cambridge, Cambridge University Press 1980.

[7] FORYŚ M., FORYŚ W., Teoria automatów i języków formalnych. Warszawa, Akademicka Oficyna Wydawnicza EXIT 2005.

[8] GRAHAM R.L.,KNUTH D.E., PATASHNIK O., Concrete Mathematics: A Fundation for Computer Science. Reading, Addison-Wesley Publ. Co. 1989.

[9] HALL C., 0’DONNELL J., Discrete mathematics using a Computer. Springer Verlag

2000.

[10] HAMMING R.W., Coding and Information Theory. Englewood Cliffs, Prentice-Hall 1986.

[11] KOLMAN B., BUSBY R.C., Discrete mathematical structures for Computer science. Prentice Hall 1987.

[12] LIPSKI W., Kombinatorika dla programistów. Warszawa, WNT 2007._