Podsumowanie ofert Liczba ofert: 2. |
 | Elementy logiki i teorii mnogości dla informatyków | Matuszewska Halina, Matuszewski Wojciech | brak danych |
| madbooks.pl | od 18.50PLN | ||
 Elementy logiki i teorii mnogości dla informatyków za 18.50 zł Cena: 18.50 zł 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. | |||
 | Elementy logiki i teorii mnogości dla informatyków | Huzar Zbigniew | brak danych |
| madbooks.pl | od 24.99PLN | ||
 Elementy logiki i teorii mnogości dla informatyków za 24.99 zł Cena: 24.99 zł Podręcznik jest przeznaczony dla studentów i doktorantów studiujących informatykę na uczelniach technicznych.Wprowadzenie wyjaśniające czym jest logika zawarto w pierwszym rozdziale, natomiast pozostały materiał podzielono na cztery części.Część pierwsza obejmuje rozdziały od 2. do 6.. Jest prezentacją elementów teorii mnogości, algebr abstrakcyjnych i języków formalnych.W części drugiej, obejmującej rozdziały od 7 do 10, omówiono rachunek zdań i kwantyfikatorów - ich składnię, semantykę oraz związane z nimi systemy dowodzenia oparte na sekwentach Gentzena i regule rezolucji.Część trzecia ma charakter informacyjny. W rozdziałach 11 i 12 omówiono krótko inne systemy dowodzenia oraz dokonano przeglądu innych nieklasycznych logik.W części czwartej, obejmującej rozdziały 13 i 14, przedstawiono zastosowanie metod logiki do definiowania składni i semantyki języków programowania oraz klasyczną logikę programów Hoare'a służącą dowodzeniu poprawności programów. | |||
