Einatmen 2 (DIGITAL) :: Formal Systems

1587540911 / AE500422

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.

Process trees

1588116277 / AE500428

Every time You boot Your computer (or a smartphone), a new tree emerges in the realm of information.

Folder structures

1589343449 / AE500513

"create new directory" = establish a new branch = create information

Taxonomies

1589343885 / AE500513

Taxonomy is the practice and science of categorization based on discrete sets. The word is also used as a count noun: a taxonomy, or taxonomic scheme, is a particular categorisation. The word finds its roots in the Greek language τάξις, taxis (meaning 'order', 'arrangement') and νόμος, nomos ('law' or 'science'). Originally, taxonomy referred only to the categorisation of organisms or a particular categorisation of organisms. In a wider, more general sense, it may refer to a categorisation of things or concepts, as well as to the principles underlying such a categorisation. (https://en.wikipedia.org/wiki/Taxonomy_(general) )

Today's course

1589344289 / AE500513

Binary trees

1589344813 / AE500513

From a graph theory perspective, binary (and K-ary) trees as defined here are actually arborescences. A binary tree may thus be also called a bifurcating arborescence—a term which appears in some very old programming books, before the modern computer science terminology prevailed. It is also possible to interpret a binary tree as an undirected, rather than a directed graph, in which case a binary tree is an orderedrooted tree. Some authors use rooted binary tree instead of binary tree to emphasize the fact that the tree is rooted, but as defined above, a binary tree is always rooted. A binary tree is a special case of an ordered K-ary tree, where k is 2. ( https://en.wikipedia.org/wiki/Binary_tree )