mathematik / logik  (623 Angebote unter 29.226.687 Artikeln)

Bereit für deine nächste Quest? Mit den Minecraft-Titeln wird jede Rechenübung zum Abenteuer! Die Hefte begleiten Schüler durch die wichtigsten Rechenarten, die ihnen in der 1. und 2. sowie der 3. ...

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Petri-Netze

The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how th...

Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big cl...

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an und...

How Can Mindless Mathematical Laws Give Rise to Aims and Intention?

To Francis Skinner - The Wittgenstein-Skinner Manuscripts

Truth-Seeking by Abduction

The Role of Brouwer's Creative Subject in Intuitionistic Mathematics

La démarche tient d'une « science de l'entre-deux » à la recherche de l'intervalle qui permettra de déchiffrer l'opposition de termes contraires et faire résonner leur fonction corrélative. Le moye...

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highl...

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April ...

Univalent Foundations, Set Theory and General Thoughts

discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, rando...