Read more
Jest to najnowsza wersja wykladow i cwiczen dla studentow pierwszego semestru matematyki i informatyki, prowadzonych przez autora na Uniwersytecie Gdanskim i Politechnice Gdanskiej.
Tresc obejmuje rachunek zdan i elementy logiki, rachunek zbiorow, kwantyfikatory, funkcje, relacje, moce zbiorow oraz elementy algebry Boole'a. Calosc jest przedstawiona intuicyjnie, z jednej strony, a dostatecznie poprawnie i formalnie, z drugiej strony. Zamieszczono dowody prawie wszystkich prezentowanych twierdzen. Wiekszosc pojec, wlasnosci i twierdzen jest zilustrowana przykladami i rysunkami. Powinno to ulatwic zrozumienie materialu, ktory jest stosunkowo latwy, ale bogaty w nowe pojecia i formalizmy. Dodatkowo kazdy rozdzial zakonczono wieloma, w wiekszosci typowymi, zadaniami i testem.
Do korzystania z tego podrecznika nie jest konieczna znajomosc zadnej teorii matematycznej. To wlasnie elementarna znajomosc przedstawionego materialu powinna ulatwic studentom czytanie kolejnych podrecznikow, sluchanie innych wykladow matematycznych oraz poznawanie nowych teorii.
