Arithmetik, Algebra (542 Artikel)

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or ...

This work grew out of Errett Bishop's fundamental treatise 'Founda tions of Constructive Analysis' (FCA), which appeared in 1967 and which contained the bountiful harvest of a remarkably short peri...

Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics -- the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and...

Cryptography for Secure Encryption

Cylindric set algebras and related structures.- On cylindric-relativized set algebras.

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski's quest for finding structure in logic le...

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski's quest for finding structure in logic le...

Können Computer alles? Wenn es so wäre, gäbe es dieses Buch nicht. Es beweist bestechend logisch, dass selbst die größten, schnellsten, intelligentesten und teuersten Computer der Welt nur beschrän...

Das BUCH der Beweise

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

David Hilbert's Lectures on the Foundations of Geometry 1891-1902

This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustr...

Decidability and completeness of SC.- Benefits of the decision procedure.

The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.

1. Introduction.- 2. Degeneracy problems in mathematical optimization.- 2.1. Convergence problems in the case of degeneracy.- 2.2 Efficiency problems in the case of degeneracy.- 2.3 Degeneracy prob...