Verzeichnis: Universal_Turing

Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Universal_Turing_Machine/ (Sammlung formaler Beweise Version 2026-5^©)

Quellverzeichnis products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Universal_Turing_Machine/

HaskellCode

Eine funktionale Sprache

document

Abacus.thy
Abacus_Defs.thy
Abacus_Hoare.thy
Abacus_Mopup.thy
Abacus_alt_Compile.thy
BlanksDoNotMatter.thy
CHANGELOG
ComposableTMs.thy
ComposableTMs_aux.thy
ComposedTMs.thy
CopyTM.thy
DitherTM.thy
GeneratedCode.thy
HaltingProblems_K_H.thy
HaltingProblems_K_aux.thy
Numerals.thy
Numerals_Ex.thy
OneStrokeTM.thy
ROOT
Rec_Def.thy
Rec_Ex.thy
Recs.thy
Recs_alt_Def.thy
Recs_alt_Ex.thy
Recursive.thy
SemiIdTM.thy
SimpleGoedelEncoding.thy
StrongCopyTM.thy
TM_Playground.thy
Turing.thy
TuringComputable.thy
TuringComputable_aux.thy
TuringDecidable.thy
TuringReducible.thy
TuringUnComputable_H2.thy
TuringUnComputable_H2_original.thy
Turing_HaltingConditions.thy
Turing_Hoare.thy
Turing_aux.thy
UF.thy
UTM.thy
Uncomputable.thy
WeakCopyTM.thy

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.