1313877987

3R9E Politechnika Świętokrzyska

BwraB

WYDZIAŁ ELEKTROTECHNIKI, AUTOMATYKI I INFORMATYKI

		U 01, K 01, K 05
5	Zasada indukcji matematycznej i definicje indukcyjne,	W 01, W 03, U 01, K 01, K 05
6	Rekursja: idea, zależności rekurencyjne, niezmienniki pętli, największy wspólny dzielnik, algorytm Euklidesa	W 01, W 03, U 01, K 01, K 05
7	Wprowadzenie do teorii grafów, definicje, działania na grafach, podgrafy, bazy minimalne grafu, kolorowanie grafu	W 01, W 03, U 01, K 01, K 05
8	Drogi i cykle, problem najkrótszej drogi, drogi i cykle Eulera, drogi i cykle Hamiltona	W 01, W 03, U 01, K 01, K 05
	Elementy kombinatoryki	W 01, W 03, U 01, K 01, K 05
10	Elementy opisu semantyki. Podstawowe pojęcia semantyki operacyjnej. Definiowanie języków programowania.	W 01, W 03, U 01, K 01,K 05

2. Treści kształcenia w zakresie ćwiczeń

Nr zajęć	Treści kształcenia	Odniesienie do efektów kształcenia dla modułu
1	Zbiory i operacje na zbiorach	W_02, U 01, U 02, K 02
2	Elementy logiki i rachunek zdań, implikacje logiczne	W 02, U 01, U 02, K 02
3	Metody dowodzenia	W 02, U 01, U 02, K 02
4	Przestrzenie z relacją, zbiory uporządkowane -1	W 02, U 01, U 02, K 02
5	Przestrzenie z relacją, zbiory uporządkowane - 2	W 02, U 01, U 02, K 02
6	Dowodzenie przy użyciu indukcji matematycznej	W 02, U 01, U 02, K 02