KSIĄŻKA
Elementy logiki i teorii mnogości dla informatyków [KSIĄŻKA]
Artykuł niedostępny
| Kategoria | Pozostałe |
| Autor | Opracowanie zbiorowe |
| Ilość stron | 142 |
| Okładka | miękka |
| Opis | Książka jest przeznaczona dla studentów informatyki uczących się przedmiotu "logika i teoria mnogości". Zakres książki jest zgodny ze standardami nauczania dla kierunku studiów "Informatyka". W zakres dziesięciu początkowych rozdziałów wchodzą: zdania, tautologie, reguły dowodzenia, funkcje zdaniowe, kwantyfikatory, zbiory, relacje (w tym relacje równoważności i relacje porządku) oraz funkcje. Każdy z tych rozdziałów zawiera krótkie omówienie teorii, rozwiązane przykłady ilustrujące teorię, zadania do samodzielnego rozwiązania i odpowiedzi do zadań. Ostatnie cztery rozdziały dotyczą zagadnień trudniejszych: mocy zbioru, typów porządkowych, aksjomatyki teorii mnogości oraz teorii formalnych. Te rozdziały zawierają jedynie krótkie streszczenie wiadomości związanych z omawianymi tematami. Czytelnik pragnący pogłębić swą wiedzę w tym zakresie powinien sięgnąć do obszerniejszych pozycji literatury. |
| EAN | 978838844256802 |
| Dział | KSIĄŻKA |
| ISBN | 8388442562 |
| Autor | Opracowanie zbiorowe |
| Rok wydania | 2017 |
| Język | polski |
| Ilość stron | 142 |
| Okładka | miękka |
| Liczba nośników | [1xKSIĄŻKA] |
| Wymiary | 14.0x20.0cm |
Opracowanie zbiorowe
Pozostałe
Książki