mathematik / logik  (633 Angebote unter 28.416.777 Artikeln)

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the natu...

Frontmatter -- INTRODUCTION -- PREMIÈRE PARTIE: LA LOGIQUE DES PROPOSITIONS INANALYSÉES Vidée naïve de déduction -- DEUXIÈME PARTIE: LA LOGIQUE DES PRÉDICATS DU PREMIER ORDRE L'usage naïf des quant...

Leben - Werk - Wirkung

In seinem 1928 erschienenen Hauptwerk »Der logische Aufbau der Welt« unternahm Rudolf Carnap (1891-1970) den Versuch, die erkenntnistheoretische These des englischen Empirismus, nach der die Basis ...

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from...

An Inadequately Understood Take-Over

Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkund...

Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da  das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathemat...

What is Fundamental?

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divid...

Théorie des ensembles

Relational Topology

Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia

Außerhalb der Mathematik finden sich die Prinzipien des logischen Denkens in den verschiedensten Bereichen, wie etwa in Physik, Philosophie, Rechtswissenschaft, Informatik und Psychologie. Die Math...