Výsledky vyhledávání - "Theory of computation–Models of computation— Computability–Lambda calculus"
-
1
History of Logo
ISSN: 2475-1421, 2475-1421Vydáno: 14.06.2020Vydáno v Proceedings of ACM on programming languages (14.06.2020)“…Logo is more than a programming language. It is a learning environment where children explore mathematical ideas and create projects of their own design. Logo,…”
Získat plný text
Journal Article -
2
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless) quantum computations acting on a finite…”
Získat plný text
Konferenční příspěvek