img Leseprobe Leseprobe

An Introduction to the Technique of Formative Processes in Set Theory

Pietro Ursino, Domenico Cantone

PDF
ca. 53,49 €
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer International Publishing img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Informatik

Beschreibung

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems.

All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic.

Weitere Titel in dieser Kategorie
Cover Cyber Operations
Cyber Operations
Jerry M. Couretas
111,99 €
Cover Cyber Operations
Cyber Operations
Jerry M. Couretas
111,99 €

Kundenbewertungen

Schlagwörter

Computational Logic, Mathematical Logic, Venn Diagrams, Decision Problem, Automated Reasoning, Formative Processes, Theory of Computation, Logic, Computabilty, Computable Set Theory