Logic
en Limba Engleză Paperback
Preț: 403.95 lei
Preț vechi: 510.15 lei
-21% Nou
Puncte Express: 606
Preț estimativ în valută:
77.31€ • 80.30$ • 64.22£
77.31€ • 80.30$ • 64.22£
Indisponibil temporar
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783631454350
ISBN-10: 363145435X
Pagini: 337
Dimensiuni: 211 x 151 x 22 mm
Greutate: 0 kg
Editura: Peter Lang Gmbh, Internationaler Verlag Der W
ISBN-10: 363145435X
Pagini: 337
Dimensiuni: 211 x 151 x 22 mm
Greutate: 0 kg
Editura: Peter Lang Gmbh, Internationaler Verlag Der W
Notă biografică
The Author: H.C.M. de Swart, born in 1944, studied Mathematics and Physics at Nijmegen University. His Ph.D. thesis was on intuitionistic Logic (1976). He spent the academic year 1976/1977 as a Visiting Fellow at Princeton University. His appointment as professor in Logic and Philosophy of language at Tilburg University followed in 1980. He is author or co-author of several books in Dutch: Sets (1975), Symbolic Logic (1976), Philosophy of Mathematics (1989) and The Theory of Social Choice (1992). He has published in several international journals on, among other subjets, intuitionism, tableaux and orderings.
Cuprins
Contents: Logic programming, Herbrand models, resolution - Relational databases, SQL - Computability, (Un)decidability and Complexity - Grammars and Automata - Untyped and typed lambda calculus - Epistemic logic for distributed systems - Temporal logic for verification - Tableaux-based automated theorem proving.