1250463624

Lp.	Nazwa przedmiotu	Liczba godzin	Forma pracy	Forma zaliczenia
			zdalnego)
	Moduł 13. ..Bazy danych - pracownia dydaktyczna”	24	laboratorium (w tym 8 godzin w formie projektu zdalnego)	zaliczenie bez oceny
III.	Segment „Doskonalenie kompetencji językowych nauczyciela informatyki/technologii informacyjnej”	80
	Moduł 14. „Język angielski"	80	lektorat (w tym 20 godzin w formie ćwiczeń zdalnych)	zaliczenie na ocenę
IV.	Segment „Konteksty współczesnej edukacji”	20
	Moduł 15. „Metodyka nauczania technologii informacyjnej i informatyki"	20	, , . . zaliczenie laboratorium , bez oceny

Szczegółowe programy modułów (przedmiotów) SEGMENT I

„Podstawy merytoryczne nauczania informatyki/technologii informacyjnej”

Moduł 1. „Logika w informatyce”

Cele kształcenia (efekty kształcenia umiejętności i kompetencje w zakresie):

-    Interpretowanie pojęć z zakresu informatyki w terminach funkcji i relacji.

-    Stosowanie aparatu logiki, technik dowodzenia twierdzeń, teorii grafów i rekurencji do rozwiązywania problemów o charakterze informatycznym.

-    Wykorzystanie logiki i teorii mnogości w informatyce.

Zarys treści:

(9 godz. wykładu w trybie stacjonarnym)

Wl. Rachunek zdań. Składnia i semantyka. Pojęcie tautologii. Metody dowodzenia tautologii. Prawa rachunku zdań.

W2. Zbiór i elementy zbioru. Definiowanie zbiorów. Podzbiory. Równość zbiorów.

Operacje na zbiorach. Prawa teorii zbiorów i sposoby ich dowodzenia.

W3. Produkt kartezjański. Relacje. Rodzaje relacji. Operacje na relacjach i sposoby ich sprawdzania. Zastosowanie pojęcia relacji w informatyce.

3