Изчислимост: Разлика между версии
Изтрито е съдържание Добавено е съдържание
някакво начало по англ + източник на български |
|||
| Ред 5: | Ред 5: | ||
== Източници == |
== Източници == |
||
<references /> |
<references /> |
||
== Външни препратки == |
|||
* {{Цитат уеб| уеб_адрес=https://plato.stanford.edu/entries/computability/ | заглавие= Computability and Complexity|достъп_дата =15 декември 2017 |фамилно_име=Immerman |първо_име= Neil |дата=2016 |труд= |издател=[[Станфордска философска енциклопедия]] |език=en |цитат= }} |
|||
{{мъниче}} |
{{мъниче}} |
||
Версия от 13:45, 15 декември 2017
Изчислимост (поддаващ се на изчисление) (Шаблон:Lang-en) в информатиката е атрибут на всеки тип изчисление[1][2], което включва математични и не-аритметични стъпки и следва добре дефиниран концептуален модел, който се поддава на описание, например алгоритъм.
Термините изчислим, разрешим, решим и рекурсивен до голяма степен са синоними и говорят за наличието на алгоритъм за решаване. Тюринговата дефиниция за изчислимост по същество е същата: операция, която може да се осъществи от машина[3]
Източници
- ↑ Computation from the Free Merriam-Webster Dictionary
- ↑ Computation: Definition and Synonyms from Answers.com // Архивиран от оригинала на 22 February 2009. Посетен на 26 April 2017.
- ↑ Hodges, Andrew. Алън Тюринг – логическата и физическата основа на разрешимостта (превод на „Alan Turing: the logical and physical basis of computing“), бележка под линия 5 (pdf) // Светът на физиката (4). 2008. с. 486. Посетен на 31 юли 2017.
Външни препратки
- Immerman, Neil. Computability and Complexity // Станфордска философска енциклопедия, 2016. Посетен на 15 декември 2017. (на английски)
Тази статия все още е мъниче. Помогнете на Уикипедия, като я редактирате и разширите.