Wstęp do matematyki 09-WMAT-11
Rachunek zbiorów (wraz z aksjomatyką teorii mnogości)
Rachunek relacji (wraz ze specyficznymi relacjami)
Nieelementarna aksjomatyka liczb naturalnych Peano
Moce i równoliczność zbiorów
Pojęcie nieskończoności
Struktury algebraiczne (np. grupy, ciała)
Struktury topologiczne (przestrzenie metryczne, ogólne przestrzenie topologiczne)
Struktury porządkowe (algebra Boole’a, drzewa, kraty)
Izomorfizm systemów
Cele kształcenia
Kierunek studiów
Poziom przedmiotu
Rodzaj przedmiotu
Rok studiów (jeśli obowiązuje)
Efekty kształcenia
Po zakończeniu modułu (przedmiotu) i potwierdzeniu osiągnięcia efektów kształcenia student:
Zna dziedzinę matematyki
Zna i wykorzystuje narzędzia matematyki
Zna struktury matematyczne
Zna i właściwie wykorzystuje operacje matematyczne
Dostrzega izomorfizm systemów i potrafi go wykorzystać wewnątrz matematyki
Zna operacje uogólnione i ich wyniki
Dostrzega ogólne i szczególne zastosowania matematyki (tak wewnątrz, jak i na zewnątrz jej)
Kryteria oceniania
Biieżąca kontrola w trakcie zajęć dydaktycznych, końcowe kolokwium zaliczeniowe
Literatura
1. „Logika dla studentów” N. M. Gubareni
2. „Wprowadzenie do logiki formalnej” B. Stanosz
3. „Ćwiczenia z logiki” B. Stanosz
4. „Matematyka dla laika” (http://www.logic.amu.edu.pl/index.php/Wlodzimierz_Lapis_-_Dydaktyka)
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: