Съдържание
3 отношения: Алън Тюринг, Станфордска философска енциклопедия, Теоретична информатика.
Алън Тюринг
Алън Матисън Тюринг (Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ.
Виж Универсална машина на Тюринг и Алън Тюринг
Станфордска философска енциклопедия
Станфордската философска енциклопедия (The Stanford Encyclopedia of Philosophy) е онлайн-енциклопедия по философия със свободен достъп, поддържана и предоставяна от Станфордския университет.
Виж Универсална машина на Тюринг и Станфордска философска енциклопедия
Теоретична информатика
Теоретичната информатика се занимава с формални езици, теория на автоматите, логика, разработка и анализ на алгоритми, дизайн и формална семантика на езиците за програмиране, дава основите за компилатори и математическото формализиране на проблеми.