Logika i teoria mnogości
Informacje ogólne
Kod przedmiotu: | 103A-INxxx-ISP-LTM |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Logika i teoria mnogości |
Jednostka: | Wydział Elektroniki i Technik Informacyjnych |
Grupy: |
( Matematyka )-Informatyka-inż.-EITI ( Przedmioty techniczne )---EITI |
Punkty ECTS i inne: |
5.00
|
Język prowadzenia: | polski |
Jednostka decyzyjna: | 103000 - Wydział Elektroniki i Technik Informacyjnych |
Kod wydziałowy: | LTM |
Numer wersji: | 1 |
Skrócony opis: |
Wykład obejmuje podstawy logiki, teorii mnogości i algebry abstrakcyjnej. Rozpatrywane są również zagadnienia składni i semantyki sformalizowanych teorii matematycznych |
Pełny opis: |
Wykład obejmuje podstawy logiki, teorii mnogości i algebry abstrakcyjnej. Rozpatrywane są również zagadnienia składni i semantyki sformalizowanych teorii matematycznych |
Literatura: |
Literatura podstawowa: |
Zajęcia w cyklu "rok akademicki 2018/2019 - sem. letni" (zakończony)
Okres: | 2019-02-18 - 2019-09-30 |
Przejdź do planu
PN WT ŚR CZ CWI
CWI
PT WYK
|
Typ zajęć: |
Ćwiczenia, 30 godzin, 120 miejsc
Wykład, 30 godzin, 120 miejsc
|
|
Koordynatorzy: | Żaneta Trębska | |
Prowadzący grup: | Żaneta Trębska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 112000 - Wydział Matematyki i Nauk Informacyjnych |
Zajęcia w cyklu "rok akademicki 2018/2019 - sem. zimowy" (zakończony)
Okres: | 2018-10-01 - 2019-02-17 |
Przejdź do planu
PN CWI
WT ŚR CWI
CZ CWI
CWI
CWI
PT WYK
|
Typ zajęć: |
Ćwiczenia, 30 godzin, 150 miejsc
Wykład, 30 godzin, 150 miejsc
|
|
Koordynatorzy: | Żaneta Trębska | |
Prowadzący grup: | Renata Gruszka, Żaneta Trębska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 112000 - Wydział Matematyki i Nauk Informacyjnych |
Właścicielem praw autorskich jest Politechnika Warszawska.