The Semantics and Proof Theory of the Logic of Bunched Implications
Beschreibung
This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
17.04.2013
ISBN/EAN
978-94-017-0091-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Das ist ein E-Book
Autor
Herausgegeben von R.J. De Queiroz
Titel
Logic for Concurrency and Synchronisation
Beschreibung
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. O ...mehr
From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathem ...mehr
Verlag
Springer US
Erscheinungsdatum
06.12.2012
ISBN/EAN
978-1-4684-9452-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Das ist ein E-Book
Autor
Oscar Castillo, Patricia Melin
Titel
Type-2 Fuzzy Logic: Theory and Applications
Beschreibung
We describe in this book, new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including ty ...mehr
Balkan-Odyssee 1933-1941. Auf der Flucht vor Hitler durch Südosteuropa
Untertitel
Preis der Leipziger Buchmesse 2026 (Kategorie Sachbuch/Essayistik)
Beschreibung
„Nicht nur ein aufwendig recherchiertes, sondern auch ein gut erzähltes, stellenweise bewegendes Buch.“
Frankfurter Allgemeine Zeitung, Michael Martens
Roman. Aus dem Italienischen von Christiane Pöhlmann
Beschreibung
Hochkomisch und einnehmend erzählt Dario Ferrari von Marcello, der sich erfolgreich dem Erwachsenwerden widersetzt – und dem zusehends die Grenzen verschwimmen: zwischen Literatur und Leben, zwischen dem schreibenden Terroristen und sich selbst.
Eine vielschichtig, atmosphärisch dichte Erzählung über Erinnerung, Schuld und die lange Nachwirkung historischer Gewalt.
»Eine Geschichte über Widerstand und Mut in Zeiten tiefster Dunkelheit.« Kristine Bilkau
Eine Geschichte der amerikanischen Verfassung. Aus dem Amerikanischen von Werner Roller und Annabel Zettel.
Beschreibung
„Warum Konservative strikt am Wortlaut der US-Verfassung von 1787 festhalten und so die Spaltung der Gesellschaft zementieren, erklärt Jill Lepore in ihrer brillanten Analyse“
Süddeutsche Zeitung, Matthias Kolb
Eine kurze Geschichte der Gleichheit. Graphic Novel
Untertitel
Illustriert von Sébastien Vassant und Stephen Desberg. Aus dem Französischen von Stefan Lorenzer
Beschreibung
„Grafisch humorvoll erzählt und inhaltlich fundiert, werden hier vier Semester Masterstudiengang in Politikwissenschaften auf 96 Seiten witzig und smart heruntergeköchelt … Preiswürdig.“ NDR Kultur, Mathias Heller
Dieser Band stellt die wichtigsten dekolonialen Werke, Personen und Konzepte vor und diskutiert die historische Entstehung der Ansätze, ihre aktuellen Entwicklungen sowie Vorteile und Probleme dieses Theoriekomplexes.