Matematyka dyskretna - wykład, Studia, Matematyka dyskretna

[ Pobierz całość w formacie PDF ]
Wst¦p do matematyki
dyskretnej
Wst¦p do matematyki
dyskretnej
BeataFałda
LechGruszecki
Lublin 2010
Spis tre±ci
Wst¦p
7
1 Logika i teoria zbiorów 9
1.1 Wprowadzenie do klasycznego rachunku zda« . . . . . 9
1.2 Formalne uj¦cie rachunku zda« . . . . . . . . . . . . . 16
1.3 Elementy wielowarto±ciowych rachunków zda« . . . . . 21
1.4 Klasyczny rachunek kwantyfikatorowy . . . . . . . . . . 24
1.5 Zbiory i ich własno±ci . . . . . . . . . . . . . . . . . . . 28
2 Relacje i funkcje 35
2.1 Podstawowe własno±ci relacji . . . . . . . . . . . . . . . 35
2.2 Relacje pomi¦dzy elementami zbiorów sko«czonych . . 39
2.3 Relacje równowa»no±ci . . . . . . . . . . . . . . . . . . 43
2.4 Relacje porz¡dku . . . . . . . . . . . . . . . . . . . . . 46
2.5 Funkcje i ich własno±ci . . . . . . . . . . . . . . . . . . 51
3 Zbiór liczb naturalnych i indukcja 57
3.1 Zbiór liczb naturalnych. Definiowanie przez indukcj¦ . . 57
3.2 Funkcje rekurencyjne . . . . . . . . . . . . . . . . . . . 62
3.3 Zastosowanie rekurencji: automaty sko«czone
i ich j¦zyki . . . . . . . . . . . . . . . . . . . . . . . . . 67
[ Pobierz całość w formacie PDF ]

  • zanotowane.pl
  • doc.pisz.pl
  • pdf.pisz.pl
  • mement.xlx.pl

    • Tematy