Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2003
Genre:	EDV / Informatik
	Artificial Intelligence / B / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Logic Design / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Software Engineering / Theory of Computation
ISBN:	9783540645078
EAN-Code:	9783540645078
Verlag:	Springer Nature EN
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1390 gr
Seiten:	303
Illustration:	XI, 303 p.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.