Filters
Legislatism and formalism
The author tries to outline considerations of what formalism actually means in law, what formalism is unsustainable and what formalism, on the contrary, is a necessary part of any law....
Law
- 2020 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Workshop on Knowledge Management in Formalized Mathematics
Representation and management of formalized mathematical knowledge. Large libraries of formalized mathematics, authoring formalized mathematics. Data mining in formalized mathematics. Proof checking and theorem pro...
BD - Teorie informace
- 2004 •
- W
Rok uplatnění
W - Uspořádání workshopu
Formal Concept Object Distances
Formal concept of a formal context is a notion introduced by B. Ganter and R. Wille at the end of the 70's. Both, formal context and formal concept, are two key notions of Formal Concept Analysis. They are...
BA - Obecná matematika
- 2014 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
Computational Simulation Formalized by String-Relation Systems
The paper formalizes and studies the similarity of rewriting processes in formal language models...
JC - Počítačový hardware a software
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Computational Simulation Formalized by String-Relation Systems
The paper formalizes and studies the similarity of rewriting processes in formal language models.
JC - Počítačový hardware a software
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC
We present several known formalizations of theorems from computational complexity in bounded arithmetic and formalize the PCP theorem in the theory PV1 (no formalization of this theorem was known). This includes a forma...
BA - Obecná matematika
- 2015 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Competence in formal and non-formal education
The first chapter contains the epistemological and methodological starting points of the competence approach in education. It deals with development, social and cultural aspects of competence development and its importance in formal and non-...
Education, general; including training, pedagogy, didactics [and education systems]
- 2017 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Unexploited benefits of formalization : the case of Austrian economics
The contribution discusses the role of formalisms in economics and illustrated benefits of formalization in Austrian economics.
AH - Ekonomie
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Unexploited benefits of formalization : the case of Austrian economics
The contribution discusses the role of formalisms in economics and illustrated benefits of formalization in Austrian economics.
AH - Ekonomie
- 2004 •
- C
Rok uplatnění
C - Kapitola v odborné knize
From theory of formal languages to compiler
formal languages, compiler...
JD - Využití počítačů, robotika a její aplikace
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 9 793