По-бързо от браузъра!
18 отношения: Halting проблем, Калифорнийски университет – Лос Анджелис, Компютър, Платон, Основи на математиката, Алън Тюринг, Алгоритъм, Анонимна функция, Стивън Коул Клийни, Тезис на Чърч, Машина на Тюринг, История на изчислителната техника, История на програмните езици, Задача за спирането, Давид Хилберт, Дейвид Каплан, Дейна Скот, Логическо програмиране.
Halting проблем
В теорията на изчислимостта, стоп-проблемът (halting problem) се състои в това дали е възможно да бъде определено, ако е дадена произволна компютърна програма и дадени входни данни за нея, дали програмата някога ще завърши или ще работи безкрайно много време. През 1936 г., Алън Тюринг доказва, че алгоритъм, който да дава отговор на тази задача за всички двойки програма–входни данни, не може да съществува.
New!!: Алонсо Чърч и Halting проблем · Виж повече »
Калифорнийски университет – Лос Анджелис
Калифорнийският университет – Лос Анджелис (University of California, Los Angeles или UCLA) е американски обществен щатски университет в град Лос Анджелис, окръг Лос Анджелис, щата Калифорния.
New!!: Алонсо Чърч и Калифорнийски университет – Лос Анджелис · Виж повече »
Компютър
Компютърът е изчислително устройство с общо предназначение, което може да бъде програмирано да извършва набор от аритметични и/или логически операции.
New!!: Алонсо Чърч и Компютър · Виж повече »
Платон
Пла̀тон (Πλάτων) е древногръцки учен, математик и философ.
New!!: Алонсо Чърч и Платон · Виж повече »
Основи на математиката
През дългата си история математиката често се е сблъсквала с проблеми свързани със собствената ѝ същност.
New!!: Алонсо Чърч и Основи на математиката · Виж повече »
Алън Тюринг
Алън Матисън Тюринг (Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ.
New!!: Алонсо Чърч и Алън Тюринг · Виж повече »
Алгоритъм
Алгоритъм (от името на учения ал–Хорезми) е термин от математиката, информатиката, лингвистиката и други области, с който се описва сложно действие чрез редица от елементарни (достатъчно прости) действия, които изпълняващият може да извърши в последователни стъпки без допълнителни обяснения.
New!!: Алонсо Чърч и Алгоритъм · Виж повече »
Анонимна функция
Анонимна функция (или т.нар. функционален литерал или ламбда функция) в програмирането е дефинирана функция, която не е обвързана с идентификатор, тоест не е именувана.
New!!: Алонсо Чърч и Анонимна функция · Виж повече »
Стивън Коул Клийни
Стивън Коул Клийни, 1978 година Стивън Коул Клийни (Stephen Cole Kleene, 5 януари 1909 – 25 януари 1994) е американски математик и логик.
New!!: Алонсо Чърч и Стивън Коул Клийни · Виж повече »
Тезис на Чърч
Тезисът на Чърч (също като Тезис на Чърч-Тюринг или Теза на Чърч-Тюринг), по името на американския логик Алонсо Чърч и Тюринг, в теория на изчислимостта е комбинирана хипотеза („тезис“) за природата на ефективно изчислимите функции чрез рекурсия (тезис на Чърч), чрез механичен способ, еквивалентен на машина на Тюринг (тезис на Тюринг) или чрез употреба на ламбда-изчисление на Чърч.
New!!: Алонсо Чърч и Тезис на Чърч · Виж повече »
Машина на Тюринг
Художествено представяне на машината на Тюринг Машина на Тюринг е абстрактно изчислително устройство, описано от английския математик Алън Тюринг през 1936 г.
New!!: Алонсо Чърч и Машина на Тюринг · Виж повече »
История на изчислителната техника
Историята на изчислителната техника е тясно свързана с човешкото развитие от древността до днес и обхваща развитието на методите за изчисление и на техническите средства от първите най-прости устройства за пресмятане до съвременните най-модерни компютърни системи.
New!!: Алонсо Чърч и История на изчислителната техника · Виж повече »
История на програмните езици
Програма, написана на C#, която намира първите N на брой числа в редицата на Фибоначи. Езиците за програмиране са изкуствени езици, които ни позволяват да даваме различни инструкции на машините и да споделяме алгоритмична информация.
New!!: Алонсо Чърч и История на програмните езици · Виж повече »
Задача за спирането
Задачата за спирането е проблем от теорията на алгоритмите: ако са дадени произволна компютърна програма и входни данни за нея, да се определи със сигурност дали програмата някога ще завърши изпълнението си върху тези данни, или ще работи вечно.
New!!: Алонсо Чърч и Задача за спирането · Виж повече »
Давид Хилберт
Давѝд Хѝлберт (David Hilbert) е германски математик, нареждан сред най-влиятелните на 19 и 20 век.
New!!: Алонсо Чърч и Давид Хилберт · Виж повече »
Дейвид Каплан
Дейвид Бенджамин Каплан (David Benjamin Kaplan; р. 1933) е американски философ и логик, преподаващ в Калифорнийски университет, Лос Анджелис.
New!!: Алонсо Чърч и Дейвид Каплан · Виж повече »
Дейна Скот
Дейна Стюарт Скот (Dana Stewart Scott; роден на 11 октомври 1932 г.) е американски информатик и логик в университета „Карнеги Мелън“, сега той е пенсионер и живее в Бъркли, Калифорния.
New!!: Алонсо Чърч и Дейна Скот · Виж повече »
Логическо програмиране
Логическото програмиране е парадигма за програмиране, която се основава на принципите на формалната логика, анализ на предикатите и предикатното смятане.
