Создание современного компьютера из первых принципов
---
Создание современного компьютера из первых принципов
https://www.nand2tetris.org/
Сайт содержит все проектные материалы и инструменты, необходимые для построения универсальной компьютерной системы и современной программной иерархии с нуля.
Материалы предназначены для студентов, преподавателей и самоучек. Все бесплатно и с открытым исходным кодом, если вы работаете в некоммерческой образовательной среде.
---
https://github.com/philzook58/nand2coq
Цель этого проекта — создать образовательную официально проверенную версию курса Nand 2 Tetris с использованием Coq (и других формальных инструментов).
https://www.nand2tetris.org/
https://www.coursera.org/learn/build-a-computer
В ходе курса компьютер создается с нуля, начиная с вентилей Nand, абстрагируясь от более крупных цифровых схем, ЦП, сборки, виртуальной машины на основе стека и, наконец, языка высокого уровня, подобного Java.
---
Создание современного компьютера из первых принципов
https://www.nand2tetris.org/
Сайт содержит все проектные материалы и инструменты, необходимые для построения универсальной компьютерной системы и современной программной иерархии с нуля.
Материалы предназначены для студентов, преподавателей и самоучек. Все бесплатно и с открытым исходным кодом, если вы работаете в некоммерческой образовательной среде.
---
https://github.com/philzook58/nand2coq
Цель этого проекта — создать образовательную официально проверенную версию курса Nand 2 Tetris с использованием Coq (и других формальных инструментов).
https://www.nand2tetris.org/
https://www.coursera.org/learn/build-a-computer
В ходе курса компьютер создается с нуля, начиная с вентилей Nand, абстрагируясь от более крупных цифровых схем, ЦП, сборки, виртуальной машины на основе стека и, наконец, языка высокого уровня, подобного Java.
---