In logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class. An effective method is sometimes also called a mechanical method or procedure.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Αποτελεσματική μέθοδος (el)
- Effective method (en)
- Эффективный процесс (ru)
- Método efetivo (pt)
- Ефективний метод (uk)
|
| rdfs:comment
| - Στη λογική, τα μαθηματικά και την επιστήμη των υπολογιστών, ειδικά περαιτέρω θεωρία της λογικής και θεωρία υπολογισιμότητας, μια αποτελεσματική μέθοδος ή αποτελεσματική διαδικασία είναι μια διαδικασία για την επίλυση ενός προβλήματος από μια συγκεκριμένη κατηγορία. Μια αποτελεσματική μέθοδος μερικές φορές ονομάζεται επίσης μηχανική μέθοδος ή διαδικασία. (el)
- In logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class. An effective method is sometimes also called a mechanical method or procedure. (en)
- Пусть задано некоторое множество , часть элементов которого обладает свойством . Тогда эффективным процессом (методом, алгоритмом) называется такой процесс, который для любого элемента позволяет за конечное число шагов выяснить, обладает ли элемент свойством или не обладает. (ru)
- Ефективний метод або ефективна процедура у логіці, математиці та інформатиці, особливо у металогіці та теорії обчислюваності — це процедура вирішення проблеми з певного класу.Ефективний метод іноді також називають «механічним» методом або процедурою. (uk)
- Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo ( também chamado de procedimento efetivo) é o para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em:
* sempre dar alguma resposta , em vez de nunca dar nenhuma resposta ;
* sempre dar a resposta certa e nunca dar uma resposta errada ;
* sempre efetuada num número finito de passos, em vez de um número infinito ;
* trabalhar para todas as instâncias de problemas da classe . (pt)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Στη λογική, τα μαθηματικά και την επιστήμη των υπολογιστών, ειδικά περαιτέρω θεωρία της λογικής και θεωρία υπολογισιμότητας, μια αποτελεσματική μέθοδος ή αποτελεσματική διαδικασία είναι μια διαδικασία για την επίλυση ενός προβλήματος από μια συγκεκριμένη κατηγορία. Μια αποτελεσματική μέθοδος μερικές φορές ονομάζεται επίσης μηχανική μέθοδος ή διαδικασία. (el)
- In logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class. An effective method is sometimes also called a mechanical method or procedure. (en)
- Пусть задано некоторое множество , часть элементов которого обладает свойством . Тогда эффективным процессом (методом, алгоритмом) называется такой процесс, который для любого элемента позволяет за конечное число шагов выяснить, обладает ли элемент свойством или не обладает. (ru)
- Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo ( também chamado de procedimento efetivo) é o para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em:
* sempre dar alguma resposta , em vez de nunca dar nenhuma resposta ;
* sempre dar a resposta certa e nunca dar uma resposta errada ;
* sempre efetuada num número finito de passos, em vez de um número infinito ;
* trabalhar para todas as instâncias de problemas da classe . Um método efetivo para o cálculo dos valores de uma função é um algoritmo ; funções com um método efetivo , por vezes são chamadas efetivamente calculáveis . Vários esforços independentes para dar uma caracterização formal de previsibilidade eficazes levou a uma variedade de definições propostas (recursão geral, Máquina de Turing, Cálculo lambda), que mais tarde mostraram-se equivalentes, a noção capturada por essas definições é conhecida como função computável . O tese de Church-Turing afirma que as duas noções coincidem: qualquer função aritmética que é efetivamente calculável é recursivamente computável. Esta não é uma expressão matemática e não pode ser comprovada por uma prova matemática. Pode-se requerer que um método efetivo quando aplicado a um problema de fora da classe para a qual é eficaz, possa ser interrompido sem resultado ou continuar indefinidamente sem parar, mas não deve retornar um resultado como se fosse a resposta ao problema (cf ) . Uma característica essencial de um método efetivo é que ele não requer qualquer engenhosidade de qualquer pessoa ou máquina para executá-lo. (pt)
- Ефективний метод або ефективна процедура у логіці, математиці та інформатиці, особливо у металогіці та теорії обчислюваності — це процедура вирішення проблеми з певного класу.Ефективний метод іноді також називають «механічним» методом або процедурою. (uk)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is rdfs:seeAlso
of | |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)