Registrierung
Anmelden
Warenkorb
(127)
Wunschliste
(1)
Euro
Złoty Polski
Bestseller
Oferta specjalna!
Versand
Bezahlung
Retouren
Vorschriften
Kontakt
Impressum
Kategorien
Spielzeuge
Puzzle
Brettspiele
Szybka wysyłka
Promocje!
Albumy
Artykuly papiernicze
Audiobooki
Bajka i baśń
Biografie
Dla dzieci i młodzieży
Encyklopedie i leksykony
Ezoteryka
Fantastyka
Filmy
Historyczne
Horror, literatura grozy
Jan Paweł II
Kalendarze
Komiksy
Kryminały
Bucher auf Deutch
Książki kucharskie i diety
Legendy, podania, mity
Literatura erotyczna
Literatura faktu
Muzyka
Nauka i Naukowcy
Nauki Przyrodnicze
Naukowe i popularno-naukowe
Podręczniki szkolne
Poradniki
Religia i wiara
Romanse
Science-fiction
Sensacyjne i thrillery
Słowniki
Sport
Sztuka i fotografia
Technika
Wojskowość i wojny
Zdrowie i uroda
Newsletter
Für unseren Newsletter registrieren:
Wyrażam zgodę na otrzymywanie oferty handlowej.
Więcej
Dieses Feld wird benötigt
Ich erkenne hiermit die allgemeinen
Geschäftsbedingungen
an
Dieses Feld wird benötigt
Bitte warten...
Home
/
Elementy logiki i teorii mnogości dla informatyków
Elementy logiki i teorii mnogości dla informatyków
Zbigniew Huzar
Nicht am Lager
Ostatnio widziany
14.03.2013
Bitte benachrichtigen, wenn verfügbar
€9,55
Dostawa Deutche Post
tylko 2€
.
Szybki kurier do 30kg tylko - 4€!
(
Sprawdź!
)
Menge:
lub
Vorliegende Bewertungen
Geben Sie eine Produktbewertung ab.
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.
Książka Elementy logiki i teorii mnogości dla informatyków wysyłka Niemiecy od 2€. Wysyłka do Austrii i innych krajów - sprawdź na stronie
"dostawa"
Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik)
/ Produkt-Typ
Buch auf Polnish
Dział
/ Departement
Książki i czasopisma / Bücher und Zeitschriften
Autor
/ Author
Zbigniew Huzar
Tytuł
/ Titel
Elementy logiki i teorii mnogości dla informatyków
Język
/ Sprache
polski / polnisch
Wydawca
/ Herausgeber
Oficyna Wydawnicza Politechniki Wrocławskiej
Rok wydania
/ Erscheinungsjahr
2007
Rodzaj oprawy
/ Deckelform
Miękka
Wymiary
/ Größe
17.0x24.0
Liczba stron
/ Seiten
336
Ciężar
/ Gewicht
0,558 kg
ISBN
9788374933490 (9788374933490)
EAN/UPC
9788374933490
Stan produktu
/ Zustand
Neue Bücher - wir verkaufen nur neue, polnische Bücher.
Zbigniew Huzar
€9,55
Ansicht
Elementy logiki i teorii mnogości dla informatyków [Miękka]
Zbigniew Huzar
€15,76
Ansicht
Ada 95 [Miękka]
Zbigniew Huzar
,
Zbigniew Fryźlewicz
Tags
Zbigniew Huzar
(2)
Vorliegende Bewertungen
Geben Sie eine Produktbewertung ab.
Zapraszamy do zakupu tego produktu.