Gdańsk Politechnika

Narutowicza 11/12

 
 

TWÓJ KOSZYK

Koszyk jest pusty
 
ksiazka tytuł: Elementary Logic with Applications autor: Gabbay D M
DOSTAWA WYŁĄCZNIE NA TERYTORIUM POLSKI

FORMY I KOSZTY DOSTAWY
  • 0,00 zł
  • 0,00 zł
  • Od 9,50 zł
  • Od 12,50 zł
  • 0,00 zł
  • 9,90 zł
  • 11,00 zł

Elementary Logic with Applications

A Procedural Perspective for Computer Scientists
Wersja papierowa
Autor: Gabbay D M
Wydawnictwo: College Publications
ISBN: 978-18-489-0225-1
Format: 15.6x23.4cm
Liczba stron: 364
Oprawa: Miękka
Wydanie: 2016 r.
Język: angielski

Dostępność: dostępny
79,90 zł 75,90 zł

<p><em>Elementary Logic with Applications</em>&nbsp;is written for undergraduate logic and logic&nbsp;<br />
programming courses. Logic has been applied to a wide variety of subjects such&nbsp;<br />
as software engineering and hardware design, to programming and artificial&nbsp;<br />
intelligence. In this way, it has served to stimulate the search for clear conceptual&nbsp;<br />
foundations.&nbsp;<br />
<br />
Recently many extensions of classical logic such as temporal, modal, relevance,&nbsp;<br />
fuzzy and non-monotonic logics have been widely used in computer science,&nbsp;<br />
therefore requiring a new formulation of classic logic which can be modified to&nbsp;<br />
yield the effect of non-classical logics.&nbsp;<br />
<br />
This text aims to introduce classical logic in such a way that one can easily&nbsp;<br />
deviate into discussing non-classical logics. It defines a number of different types&nbsp;<br />
of logics and the differences between them, starting with the basic notions of the&nbsp;<br />
most common logic.&nbsp;<br />
<br />
<em>Elementary Logic with Applications</em>&nbsp;develops a theorem prover for classical logic&nbsp;<br />
in a way that maintains a procedural point of view and presents the reader with&nbsp;<br />
the real challenges facing applied logic.&nbsp;<br />
<br />
Dov Gabbay and Odinaldo Rodrigues have been teaching logic and computer&nbsp;<br />
science for many years. Dov Gabbay has written numerous other titles on the&nbsp;<br />
subject of logic and is a world authority on non-classical logics. Odinaldo&nbsp;<br />
Rodrigues is widely known for his work on logic, belief revision and&nbsp;<br />
argumentation.&nbsp;<br />
<br />
The &ldquo;Elementary Logic with Applications&rdquo; course is currently taught at the&nbsp;<br />
Department of Informatics, King&#39;s College London.</p>

 

Newsletter

Newsletter
Zapisz Wypisz

Klikając "Zapisz" zgadzasz się na przesyłanie na udostępniony adres e-mail informacji handlowych, tj. zwłaszcza o ofertach, promocjach w formie dedykowanego newslettera.

Płatności

Kanały płatności

Księgarnia PWN Gdańsk akceptuje płatności:

  • płatność elektroniczna eCard (karta płatnicza, ePrzelew)
  • za pobraniem - przy odbiorze przesyłki należność pobiera listonosz lub kurier