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 formationThe 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
Target or has id Predicate: Strength:

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
CC BY-NC-SA UdK Medienhaus 2017-2020 / AE47-AE50