Zobrazeno 1 - 10
of 3 772
pro vyhledávání: '"Programming (Mathematics)"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Meshveliani, Sergei D.
It is discussed a practical possibility of a provable programming of mathematics basing on intuitionism and the dependent types feature of a programming language.The principles of constructive mathematics and provable programming are illustrated with
Externí odkaz:
http://arxiv.org/abs/1709.01810
