Einatmen 2 (DIGITAL) :: Formal Systems
WIKI :: A formal system is used for inferring theorems from axioms according to a set of rules. Each formal system uses primitive symbols (which collectively form an alphabet) to finitely construct a formal language from a set of axiomst through inferential rules of formation. The system thus consists of valid formulas built up through finite combinations of the primitive symbols—combinations that are formed from the axioms in accordance with the stated rules.
Views
Default
Arbre
Pannellum
VK-slides
KuM-slides
Knoids
Presentation
Textrec
Recview
Repetitio
Bildung
Reveal
Impress
HTML ?
Axones
Zeitgeist Log
2020-04-22 07:35:11.926017 daniel-hromada@medienhaus.udk-berlin.de executed add_bound with variables "obj"=>"7687", "ord"=>"1", "sub"=>"7665", "bound_id"=>"19768", "predicate"=>"is_parent"
2020-04-22 07:35:11.928677 daniel-hromada@medienhaus.udk-berlin.de executed add_bound with variables "obj"=>"7687", "ord"=>"1", "sub"=>"2697", "bound_id"=>"19769", "predicate"=>"created_by"
2020-04-22 07:59:02.250806 daniel-hromada@medienhaus.udk-berlin.de executed /view/7687/ with variables
2020-04-22 10:31:06.447593 daniel-hromada@medienhaus.udk-berlin.de executed /view/7687/ with variables
2020-04-28 20:51:58.236628 daniel-hromada@medienhaus.udk-berlin.de executed /view/7687/ with variables
2020-05-13 08:32:34.288083 daniel-hromada@medienhaus.udk-berlin.de executed /view/7687/ with variables
2020-05-13 08:33:33.321183 daniel-hromada@medienhaus.udk-berlin.de executed /view/7687/ with variables