Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Logics for mathematics and computer science

Informacje ogólne

Kod przedmiotu: WM-I-LMC Kod Erasmus / ISCED: 11.3 / (brak danych)
Nazwa przedmiotu: Logics for mathematics and computer science
Jednostka: Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych
Grupy: Grupa przedmiotów - oferta Erasmus
Punkty ECTS i inne: (brak)
zobacz reguły punktacji
Język prowadzenia: angielski
Poziom przedmiotu:

podstawowy

Symbol/Symbole kierunkowe efektów uczenia się:

I2_W03; I2_W04; I2_U11; I2_K02; I2_K03

Skrócony opis:

Przedstawienie podstawowych narzędzi logicznych (syntaktycznych i semantycznych) używanych w matematyce i informatyce

Literatura:

Skrypt wykładowcy w języku angielskim

Logika algorytmiczna (PWN) - Andrzej Salwicki

Efekty kształcenia i opis ECTS:

X2A_U01, X2A_U02, X2A_U05, X2A_U03, X2A_K01, X2A_KO2

MA2_U01, MAQ2_UO3, MA2_U14, MA2_U04, MA2_K01, MA2_KO2, MA2_K06

Metody i kryteria oceniania:

kolokwia

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.