Przedmiot Wstęp do matematyki, wykładany na pierwszym roku studiów matematycznych i informatycznych na uniwersytetach i politechnikach, ze względu na swój abstrakcyjny charakter stanowi pewne novum dla świeżo upieczonych studentów.
Zawiera treści, które często początkowo wydają się trudne, gdyż są odmienne od tych nauczanych w szkole, ale po zrozumieniu okazują się fascynujące.
Autor, odwołując się wielokrotnie do intuicji Czytelnika, w przystępny sposób wprowadza nas w świat zbiorów (przeliczalnych, nieprzeliczalnych), kwantyfikatorów, funkcji, relacji i stopniowo zapoznaje z formalizacją teorii i języka matematyki. Liczne komentarze oraz ciekawe, starannie dobrane przykłady ułatwiają przyswajanie materiału.
Zadania zamieszczone na końcu rozdziałów oraz odpowiedzi i wskazówki do nich umożliwiają sprawdzenie opanowanej wiedzy.
Spis treści:
1. Rachunek zdań
1. Podstawowe pojęcia
1.2. Tautologie i dowody
1.3. Ważniejsze prawa rachunku zdań
1.4. Zadania
2. Zbiory
2.1. Co to jest zbiór?
2.2. Działania na zbiorach
2.3. Własności działań na zbiorach
2.4. Zadania
3. Kwantyfikatory
3.1. Podstawowe pojęcia
3.2. Prawa rachunku kwantyfikatorów
3.3. O dowodach słów kilka
3.4. Działania uogólnione na zbiorach
3.5. Zadania
4. Indukcja matematyczna i rekursja
4.1. Indukcja matematyczna
4.2. Rekursja
4.3. Zadania
5. Funkcje
5.1. Pojęcie funkcji
5.2. Własności funkcji
5.3. Obrazy i przeciwobrazy
5.4. Zadania
6. Relacje
6.1. Pojęcie relacji
6.2. Własności relacji
6.3. Relacje równoważności
6.4. Relacje porządku
6.5. Zadania
7. Równoliczność zbiorów
7.1. Zbiory równoliczne
7.2. Zbiory nierównoliczne
7.3. Porównywanie mocy zbiorów
7.4. Zadania
8. Zbiory przeliczalne i nieprzeliczalne
8.1. Podstawowe pojęcia
8.2. Zbiory przeliczalne
8.3. Zbiory mocy continuum
8.4. Zadania
9. Kilka trudniejszych dowodów
10. Odpowiedzi i wskazówki do zadań
Dodatki:
A. Aksjomaty teorii mnogości
B. Liczby porządkowe
C. Liczby kardynalne
adobe algorytmy apache asp autocad asembler bsd c++ c# delphi dtp excel flash html java javascript linux matlab mysql office php samba voip uml unix visual studio windows word
Księgarnia Informatyczna zaprasza.