9087085406

XI A_W04

Tl A_W01 T1AW03 X1A_W01 XIA W04 T1AW01 T1AW03 X1A_W01 XIA W04 T1AW01 T1AW03 X1 A_W01 X1A W04 T1AW01 T1AW03 X1A_W01 XIA W04

K_W01

KW04

K_W01

K_W04

K_W01

K_W04

K_W01

K_W04

T1AJJ05

T1AU10

X1A_U07

KU08

KU22

Tl A_U05 T1A_U10 X1A U07 Tl A_U()5 Tl A_U10 X1A_U07

KU08

KU22

KU08

KU22

Tl AU05 T1AU10 X1A U07 Tl A_U()5 T1AU10 X1A U07 T1A_U05 T1AU10 X1A_U07

KJJ08

KU22

K_U08

K_U22

KU08

KU22

podstawowe tautologie, zna podstawową klasyfikację techniki dowodzenia twierdzeń i ich logiczne

podwaliny._

zna definicje notacji asymptotycznych o, O. Q. 0. jawnego równania rekurencyjnego oraz liniowego równania rekurencyjnego Jego stopnia i funkcji

tworzącej_

zna prawa i metody zliczania i formuły na liczby wariacji, permutacji, kombinacji i podziałów przy typowych ograniczeniach.

zna podstawowe tw ierdzenia dotyczące liczb pierwszych i chińskie twierdzenie o resztach, zna podstawowe tw ierdzenia teorii grafów podane na

wykładach_

zna minimalną aksjomaty zację algebry Boole’a i kojarzy ją z bramkami logicznymi NAND i NOR.

UMIEJĘTNOŚCI

rozwiązuje ty powe zadania; interpretuje pojęcia informatyczne w terminach funkcji i relacji, analizuje wykonanie instrukcji warunkowych i pętli w językach wysokiego poziomu, prawidłowo neguje wyrażenia

logiczne._

rozwiązuje ty powe zadania; posługuje się zasadą szufladkową Dirichleta, potrafi udowodnić indukcyjnie proste fakty doty czące liczb naturalnych. rozwiązuje ty powe zadania dotyczące szybkości w zrostu wy razów ciągów liczbowy ch, wy znaczenia funkcji tworzącej typowych rekurencji i związanych z

nimi równań._

rozwiązuje typowe równania rekurencyjnc z w ielomianami charakterystycznymi o krotnych

i zespolonych pierwiastkach._

potrafi zastosować rozszerzony algorytm Euklidesa do wyznaczenia rozwiązania układu równań

modularnych._

rozw iązuje ty powe zadania dotyczące grafów' ze szczególnym uw zględnieniem izomorfizmów, drzew poszukiwań binarnych, planamości. ścieżek i cykli

Eulera i Hamiltona._

rozw iązuje zadania doty czące różnych prze kładów' algebr Boolea.

T1A_U05    K_U08

Tl AU 10    KU22

XIA U07__

KOMPETENCJE SPOŁECZNE

odnajduje przykłady problemów^1 społecznych, które	T1A KOI	K KOI
można wyrażać w terminach zbiorów relacji i funkcji;	T1A K04	K K03
przejrzyście formułuje w języku polskim opisy	XIA KOI
rozwiązań zadań.	X1A K03 X1A K05
docenia wagę precyzyjnego wyrażania myśli	T1A KOI	K KOI
i wyciągania wniosków na bazie przesłanek	T1A K04	K K03