Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2017
Genre:	EDV / Informatik
	Algorithms & data structures / Arithmetic and Logic Structures / Arithmetic and logic units, Computer / Artificial Intelligence / C / Compiler und Übersetzer / Compilers & interpreters / Compilers and Interpreters / Computer architecture & logic design / Computer logic / Computer programming / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computerhardware / Computerprogrammierung und Softwareentwicklung / Formal Languages and Automata Theory / Künstliche Intelligenz / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques mehr...
ISBN:	9783319720555
EAN-Code:	9783319720555
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#10703 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	5737 gr
Seiten:	369
Illustration:	X, 369 p. 17 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Constructive mathematics and type theory.- Homotopy type theory.- Logic, automata, and automatic structures.- Computability and randomness.- Logical foundations of programming.- Logical aspects of computational complexity.- Parameterized complexity.- Logic programming and constraints.- Automated deduction and interactive theorem proving.- Logical methods in protocol and program verification.- Logical methods in program specification and extraction.- Domain theory logics.- Logical foundations of database theory.- Equational logic and term rewriting.- Lambda and combinatory calculi.- Categorical logic and topological semantics.- Linear logic.- Epistemic and temporal logics.- Intelligent and multiple-agent system logics.- Logics of proof and justification.- Non-monotonic reasoning.- Logic in game theory and social software.- Logic of hybrid systems.- Distributed system logics.- Mathematical fuzzy logic.- System design logics.