About: Computability

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Computability Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Disease, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FComputability

Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is closely linked to the existence of an algorithm to solve the problem.

Attributes	Values
rdf:type	Thing disease
rdfs:label	Computability (en) الحاسوبية (ar) Berechenbarkeit (de) Computabilità (it) Berekenbaarheid (nl) Computabilidade (pt) Обчислюваність (uk) 可计算性 (zh)
rdfs:comment	الحاسوبية هي القدرة على حل مشكلة ما بطريقة فعاله. وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب. حاسوبية المشكلة ترتبط بشدة بوجود خوارزمية لحل المشكلة.إن أوسع نماذج الحاسوبية دراسةً هم آلة تورنغ ودوال المايكرو المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله. توجد أيضاً أشكال أخرى من الحاسوبية تتم دراستها: مفاهيم الحاسوبية الأضعف من آلات تورنغ تتم دراستهم في نظرية التشغيل الذاتي، بينما مفاهيم الحاسوبية الأقوى من آلات تورنغ تتم دراستهم في مجال الحساب الأعلى. (ar) La teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi. Fra i suoi fondatori vi è Alan Turing. (it) In de complexiteitstheorie is berekenbaarheid een eigenschap van functies. Een overeenkomstige eigenschap voor verzamelingen en eigenschappen is beslisbaarheid. In alle gevallen gaat het om het bestaan van een algoritme. (nl) 可计算性（Computability）是指一个实际问题是否可以使用计算机来解决。从广义上讲如“为我烹制一个汉堡”这样的问题是无法用计算机来解决的（至少在目前）。而计算机本身的优势在于数值计算，因此可计算性通常指这一类问题是否可以用计算机解决。事实上，很多非数值问题（比如文字识别，图象处理等）都可以通过转化成为数值问题来交给计算机处理，但是一个可以使用计算机解决的问题应该被定义为“可以在有限步骤内被解决的问题”，故哥德巴赫猜想这样的问题是不属于“可计算问题”之列的，因为计算机没有办法给出数学意义上的证明，因此也没有任何理由期待计算机能解决世界上所有的问题。分析某个问题的可计算性意义重大，它使得人们不必浪费时间在不可能解决的问题上（因而可以尽早转而使用除计算机以外更加有效的手段），集中资源在可以解决的问题上。 (zh) Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is closely linked to the existence of an algorithm to solve the problem. (en) Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie). Die Funktion, die ein Algorithmus berechnet, ist gegeben durch die Ausgabe, mit der der Algorithmus auf eine Eingabe reagiert. Der Definitionsbereich der Funktion ist die Menge der Eingaben, für die der Algorithmus eine Ausgabe produziert. Wenn der Algorithmus nicht terminiert, dann ist die Eingabe kein Element der Definitionsmenge. (de) Computabilidade é a habilidade de resolver problemas de forma efetiva. É um tópico chave para o campo da Teoria da Computabilidade dentro da Lógica Matemática e para a Teoria da Computação dentro da Ciência da Computação. A computabilidade de um problema é intimamente ligada à existência de um algoritmo para resolver o problema. (pt) Обчислюваність — властивість задачі бути ефективно розв'язаною. Це ключова тема в області теорії обчислюваності в рамках математичної логіки і теорії алгоритмів у інформатиці. Обчислюваність задачі тісно пов'язана з задачею існування алгоритму для її вирішення. (uk)
dcterms:subject	Computability theory Theory of computation
Wikipage page ID	442136 (xsd:integer)
Wikipage revision ID	1029984338 (xsd:integer)
Link from a Wikipage to another Wikipage	Pushdown automaton Nondeterministic finite automaton Beta reduction Brainfuck Deterministic finite automaton Algorithm Hypercomputer Regular expression Decision problem Μ-recursive function Combinatory logic Computability theory Context-free grammar Mathematical logic Pumping lemma for regular languages Church–Turing thesis Modular arithmetic Concurrency (computer science) Context-free language Computability logic Computational complexity theory Computational problem Computer science Function composition (computer science) Function problem Petri net P′′ String (computer science) Theory of computation Markov algorithm Gödel numbering Pumping lemma for context-free languages Post canonical system Recursively enumerable language Number theory Parallel random-access machine Formal language Grammar Regular language Halting problem Hypercomputation Abstract machine Computability theory Theory of computation Chomsky hierarchy Lambda calculus Recursive language Register machine Automata theory Pigeonhole principle Optimization problem Search problem Model of computation Turing machine String rewriting system Undecidable problem List of undecidable problems Programming language Mu-recursive function Finite-state machine Multitape Turing machine Rice's theorem Turing-computable function Important publications in computability Primitive recursion Recursion theory Primality testing
Link from a Wikipage to an external page	https://archive.org/details/introductiontoth00sips
sameAs	Computability Computability Computability Computability Computability Computability Computability Computability Computability Computability

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software