Ta witryna wymaga "ciasteczek" do poprawnego działania. Włącz ich obsługę w ustawieniach przeglądarki, aby móc kupować.
Registrierung
Anmelden
Warenkorb
(121)
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
41,01 zł
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
41,01 zł
Ansicht
Elementy logiki i teorii mnogości dla informatyków [Miękka]
Zbigniew Huzar
67,70 zł
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.