Съдържание
42 отношения: Halting проблем, Компютър, Компютърна архитектура, Компютърни науки, Принстънски университет, Основи на математиката, Обработка на естествен език, Операционна система, А. М. Тюринг, Алан Тюринг, Нийл Стивънсън, Седрик Вилани, Тюринг, Тюринг (награда), Теория на алгоритмичната информация, Теорема на Гьодел за непълнота, Универсална машина на Тюринг, Цялостност по Тюринг, Член на Британското кралско научно дружество, Машина на Тюринг, Машинно самообучение, Манчестър, Иън Флеминг, История на изчислителната техника, История на програмните езици, Игра на кодове, Изчислимост, Изкуствен интелект, Информатика, Задача за спирането, Бъртранд Ръсел, Блечли парк, Бенедикт Къмбърбач, Васил Бинев, Джон Атанасов, Доналд Кнут, Емил Пост, Лудвиг Витгенщайн, Лондончани, 2012, 23 юни, 7 юни.
Halting проблем
В теорията на изчислимостта, стоп-проблемът (halting problem) се състои в това дали е възможно да бъде определено, ако е дадена произволна компютърна програма и дадени входни данни за нея, дали програмата някога ще завърши или ще работи безкрайно много време. През 1936 г., Алън Тюринг доказва, че алгоритъм, който да дава отговор на тази задача за всички двойки програма–входни данни, не може да съществува.
Виж Алън Тюринг и Halting проблем
Компютър
Компютърът е изчислително устройство с общо предназначение, което може да бъде програмирано да извършва набор от аритметични и/или логически операции.
Компютърна архитектура
Компютърната архитектура е съвкупност от характеристики и параметри, определящи функционалната, логическа и структурна организация на компютрите.
Виж Алън Тюринг и Компютърна архитектура
Компютърни науки
Компютърните науки изучават теорията и практиката, създават и провеждат експерименти и експериментални изследвания, и използват технологични и инженерни познания с цел проектирането, конфигурирането и използването на компютри и компютърни мрежи.
Виж Алън Тюринг и Компютърни науки
Принстънски университет
Принстънският университет (Princeton University) е частен университет, намиращ се в град Принстън, щата Ню Джърси, САЩ.
Виж Алън Тюринг и Принстънски университет
Основи на математиката
През дългата си история математиката често се е сблъсквала с проблеми свързани със собствената ѝ същност.
Виж Алън Тюринг и Основи на математиката
Обработка на естествен език
Обработката на естествения език (ОЕЕ) или компютърната обработка на естествен (човешки) език (natural language processing, NLP) е подобласт на науката за изкуствения интелект и компютърната лингвистика.
Виж Алън Тюринг и Обработка на естествен език
Операционна система
Операционната система (ОС) е основна част от компютърния системен софтуер, която управлява и координира ресурсите на хардуера и софтуера и обслужва изпълняваните компютърни програми.
Виж Алън Тюринг и Операционна система
А. М. Тюринг
#виж Алън Тюринг.
Виж Алън Тюринг и А. М. Тюринг
Алан Тюринг
#виж Алън_Тюринг.
Нийл Стивънсън
Нийл Таун Стивънсън (Neal Town Stephenson) е известен предимно като автор на научна фантастика, и по-конкретно жанра пост-киберпънк.
Виж Алън Тюринг и Нийл Стивънсън
Седрик Вилани
Седрик Вилани (Cédric Villani) е френски учен математик и политик, автор на произведения в жанра научна и научно-популярна литература, биография и мемоари.
Виж Алън Тюринг и Седрик Вилани
Тюринг
#виж Алън Тюринг.
Тюринг (награда)
Наградата „Тюринг“ (A.M. Turing Award) е годишна награда, която се присъжда от Асоциацията по изчислителна техника (Association for Computing Machinery) на личност със съществени приноси към компютърната общност.
Виж Алън Тюринг и Тюринг (награда)
Теория на алгоритмичната информация
Теория на алгоритмичната информация е раздел от теорията на информацията и информатиката, който се занимава с взаимоотношенията между изчисленията и информацията.
Виж Алън Тюринг и Теория на алгоритмичната информация
Теорема на Гьодел за непълнота
Теоремата на Гьодел за непълнота описва математически невъзможността за изразяване на цялата истина за дадена предметна област с формални средства (тази формулировка е известна като първа теорема на Гьодел за непълнота).
Виж Алън Тюринг и Теорема на Гьодел за непълнота
Универсална машина на Тюринг
Универсална машина на Тюринг в теоретичната информатика е машина на Тюринг, която може да симулира произволна друга машина на Тюринг при случайни входни данни.
Виж Алън Тюринг и Универсална машина на Тюринг
Цялостност по Тюринг
В изчислителната теория система от правила за манипулация на данни (като набор от инструкции на компютъра, програмен език, или клетъчен автомат) се смята за цялостна по Тюринг или изчислително универсална, ако може да се използва за симулиране на която и да било еднолентова машина на Тюринг.
Виж Алън Тюринг и Цялостност по Тюринг
Член на Британското кралско научно дружество
Член на Британското кралско научно дружество (Fellowship of the Royal Society (FRS, ForMemRS and HonFRS) е звание, присъждано от експертите на Британското кралско научно дружество на лица, имащи „съществен принос към увеличаване на знанията в областите естествени науки, включително математика, инженерни науки и медицина“.
Виж Алън Тюринг и Член на Британското кралско научно дружество
Машина на Тюринг
Художествено представяне на машината на Тюринг Машина на Тюринг е абстрактно изчислително устройство, описано от английския математик Алън Тюринг през 1936 г.
Виж Алън Тюринг и Машина на Тюринг
Машинно самообучение
Машинното самообучение (МС) е общ термин за „изкуствено“ генериране на знания от опит: изкуствената система се учи от примери и може да ги обобщи след завършване на етапа на обучение.
Виж Алън Тюринг и Машинно самообучение
Манчестър
Манчестър (Manchester) е град в Западна Англия, административен център на метрополитена Голям Манчестър.
Иън Флеминг
Ѝън Ланкастър Флеминг (Ian Lancaster Fleming, накратко Иън Флеминг, известен в България като Ян Флеминг), е английски писател.
История на изчислителната техника
Историята на изчислителната техника е тясно свързана с човешкото развитие от древността до днес и обхваща развитието на методите за изчисление и на техническите средства от първите най-прости устройства за пресмятане до съвременните най-модерни компютърни системи.
Виж Алън Тюринг и История на изчислителната техника
История на програмните езици
Програма, написана на C#, която намира първите N на брой числа в редицата на Фибоначи. Езиците за програмиране са изкуствени езици, които ни позволяват да даваме различни инструкции на машините и да споделяме алгоритмична информация.
Виж Алън Тюринг и История на програмните езици
Игра на кодове
Игра на кодове (The Imitation Game) е американски биографичен филм от 2014 г.
Виж Алън Тюринг и Игра на кодове
Изчислимост
Изчислимост (поддаващ се на изчисление) (computability) в информатиката е атрибут на всеки тип изчисление (computation), което включва математични и не-аритметични стъпки и следва добре дефиниран концептуален модел, който се поддава на описание, например алгоритъм.
Изкуствен интелект
РобоКъп е състезание за роботи с изкуствен интелект Изкуственият интелект (ИИ; artificial intelligence, AI) е интелектът, демонстриран от компютри, за разлика от естествения интелект, демонстриран от животни и хора.
Виж Алън Тюринг и Изкуствен интелект
Информатика
Информатиката се занимава с теоретичните основи на информацията, изчисленията и с практическите техники за тяхното приложение.
Задача за спирането
Задачата за спирането е проблем от теорията на алгоритмите: ако са дадени произволна компютърна програма и входни данни за нея, да се определи със сигурност дали програмата някога ще завърши изпълнението си върху тези данни, или ще работи вечно.
Виж Алън Тюринг и Задача за спирането
Бъртранд Ръсел
Бъртранд Артър Уилям Ръсел (Bertrand Arthur William Russell), 3-ти граф Ръсел, е британски философ, логик, математик, историк, пацифист и социален критик.
Виж Алън Тюринг и Бъртранд Ръсел
Блечли парк
Блечли Парк (Bletchley Park) е секретна военна площадка от времето на Втората световна война, днес музей, в Блечли, Милтън Кийнс, Бъкингамшър, Великобритания.
Бенедикт Къмбърбач
Бенедѝкт Тѝмъти Кàрлтън Къ̀мбърбач, CBE (Benedict Timothy Carlton Cumberbatch) е английски актьор, известен с работата си в театъра, киното, радиото и телевизията.
Виж Алън Тюринг и Бенедикт Къмбърбач
Васил Бинев
Васил Георгиев Бинев е български актьор.
Джон Атанасов
Джон Вѝнсънт Атана̀сов (John Vincent Atanasoff) е американски физик, математик и електроинженер.
Виж Алън Тюринг и Джон Атанасов
Доналд Кнут
Доналд Ървин Кнут (Donald Ervin Knuth, произнасяно и Канут) е известен информатик-теоретик и професор емеритус в Станфордския университет.
Емил Пост
Емил Леон Пост (Emil Leon Post) е американски математик и логик.
Лудвиг Витгенщайн
Лудвиг Йозеф Йохан Витгенщайн (Ludwig Josef Johann Wittgenstein) е австрийско-британски философ, работил най-вече в областта на логиката, философията на математиката, философията на съзнанието и философията на езика.
Виж Алън Тюринг и Лудвиг Витгенщайн
Лондончани
Лондончани (Londoners) са жителите на град Лондон, столицата на Обединеното кралство.
2012
2012 (MMXII) година е високосна година, започваща в неделя според Григорианския календар.
23 юни
23 юни е 174-тият ден в годината според григорианския календар (175-и през високосна година).
7 юни
7 юни е 158-ият ден в годината според григорианския календар (159-и през високосна).