Logika i teoria mnogości
Informacje ogólne
Kod przedmiotu: | 1100-LM0OMI |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Logika i teoria mnogości |
Jednostka: | Wydział Matematyki i Informatyki |
Grupy: |
I stopień Informatyka (rozpoczęta w r. 2007) - semestr 1 - 3 |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | polski |
Forma zaliczenia: | egzamin |
Forma studiów: | stacjonarne |
Skrócony opis: |
Cele przedmiotu: Stosowanie rachunku zdań do dowodzenia własności zbiorów. Umiejętność dowodzenia twierdzeń. Sprawdzanie własności relacji i opis klas abstrakcji. Sprawdzanie własności funkcji i znajdowanie funkcji odwrotnej oraz funkcji złożonej. Wykazanie równoliczności różnych zbiorów. Sposób zaliczenia: Wykład - egzamin pisemny, konwersatorium - zaliczenie (kolokwia) |
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest UNIWERSYTET ŁÓDZKI.
Właścicielem praw autorskich jest UNIWERSYTET ŁÓDZKI.