Dodatkowe 15 zł RABATU na WSZYSTKO przy zakupach za min. 179 zł z kodem: 30kwi2024

wróć

Logika matematyczna w informatyce

Mordechai Ben-Ari

brak ocen

Logika matematyczna w informatyce

Mordechai Ben-Ari

brak ocen

Wydawnictwo: Wydawnictwa Naukowo-Techniczne. » Rodzaj okładki: Twarda Wymiar: 17.5x24.5cm Waga: 0.68 kg EAN: 8320429722 Stan: Używana

Produkt niedostępny

Powiadom mnie o dostępności tego produktu

Książka "Logika matematyczna w informatyce" jest poświęcona zagadnieniom logiki, które stanowią podstawę wykształcenia każdego informatyka i inżyniera stosującego metody komputerowe. Omówiono w niej rachunek zdań, logikę pierwszego rzędu, programowanie w logice, specyfikację i weryfikację programów oraz logikę temporalną. Wszystkie przedstawione implementacje wykonano w języku Prolog. Jest to doskonały podręcznik, o wielkich walorach dydaktycznych, napisany z dużym znawstwem tematu, a na dodatek zrozumiale. W każdym rozdziale podano wiele przykładów ilustrujących omawiane pojęcia i metody, a także zamieszczono ćwiczenia o zróżnicowanym stopniu trudności. Książka jest przeznaczona dla studentów pierwszych lat studiów na kierunkach informatycznych. Skorzystają z niej także pracownicy dydaktyczni prowadzący zajęcia z logiki stosowanej.

DOSTAWA

Zamów do godziny 10:00, a Twoje zamówienie wyślemy najpóźniej w kolejnym dniu roboczym. W przypadku książki nowej termin ten może się wydłużyć o 2 dni robocze.

FORMY DOSTAWY