Theoretic informatics (Q2304): Difference between revisions

@@ Property / instance of @@
+Session
@@ Property / instance of: Session / rank @@
+Normal rank
@@ Property / includes @@
+Decidability of a program
@@ Property / includes: Decidability of a program / rank @@
+Normal rank
@@ Property / includes @@
+Formal definition of a deterministic Turing machine
@@ Property / includes: Formal definition of a deterministic Turing machine / rank @@
+Normal rank
@@ Property / includes @@
+Work cycle of a Turing machine
@@ Property / includes: Work cycle of a Turing machine / rank @@
+Normal rank
@@ Property / includes @@
+The halting problem of a Turing machine
@@ Property / includes: The halting problem of a Turing machine / rank @@
+Normal rank

Latest revision as of 13:35, 13 October 2025