Educational projects

Вики

Проект Гутенберг

Проект “Гутенберг” История и цели проекта “Гутенберг” Основан в 1971 году Майклом С. Хартом   Цель: оцифровка и архивирование произведений культуры, […]

Вики

Проект Гутенберг

Проект “Гутенберг” История и концепция проекта “Гутенберг” Основан в 1971 году Милтоном Фридманом и Ричардом Столлманом для оцифровки и распространения

Вики

Манифест QED

Манифест КЭД Манифест QED предлагал создать компьютерную базу данных математических знаний с автоматической проверкой доказательств.  Идея проекта возникла в 1993

Прокрутить вверх