Department of Computer Science

Вики

Вампир (обеспечивает теорема)

/

Вампир (доказательство теоремы) Обзор Vampire Vampire – это автоматическое средство доказательства теорем для классической логики первого порядка.  Разработано на факультете

Вики

Атлас (компьютер)

/

Атлас (компьютерный) История и разработка компьютера Atlas Atlas был разработан Ферранти в Манчестере в 1956 году и стал первым компьютером

Вики

Манчестер Марк 1

/

Манчестерская отметка 1 История создания и развития Manchester Mark 1 Manchester Mark 1 – первый в мире коммерческий компьютер общего

Вики

Виртуальная память

/

Виртуальная память Основы виртуальной памяти Виртуальная память позволяет операционной системе разделять память на виртуальные адресные пространства для разных процессов.  Виртуальная

Вики

Трубка Уильямса

/

Трубка Уильямса История компьютерной памяти Память в компьютерах эволюционировала от механических устройств до электронных систем.  Первые электронные запоминающие устройства были

Вики

Компьютер с хранимой программой

/

Компьютер с сохраненной программой Определение компьютера с хранимой программой Компьютер с хранимой программой хранит программные инструкции в памяти.  Отличается от

Вики

Манчестер Бэби

/

Малышка из Манчестера История создания компьютера “Малыш” “Малыш” был первым электронным компьютером, разработанным в Манчестерском университете в 1948 году.  Проект

Вики

Архитектура фон Неймана

/

Архитектура Фон Неймана Эволюция компьютеров Компьютеры прошли путь от электромеханических устройств до полностью электронных.  Первые компьютеры были большими и медленными,

Вики

СпиННакер

/

Спинакер SpiNNaker – массовая параллельная архитектура многоядерного суперкомпьютера, разработанная APT на факультете компьютерных наук Манчестерского университета.  Архитектура состоит из 57

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