Effective method (original) (raw)
Στη λογική, τα μαθηματικά και την επιστήμη των υπολογιστών, ειδικά περαιτέρω θεωρία της λογικής και θεωρία υπολογισιμότητας, μια αποτελεσματική μέθοδος ή αποτελεσματική διαδικασία είναι μια διαδικασία για την επίλυση ενός προβλήματος από μια συγκεκριμένη κατηγορία. Μια αποτελεσματική μέθοδος μερικές φορές ονομάζεται επίσης μηχανική μέθοδος ή διαδικασία.
| Property | Value |
|---|---|
| dbo: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) |
| dbo:wikiPageID | 12979890 (xsd:integer) |
| dbo:wikiPageLength | 3701 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1094901722 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Metalogic dbr:Algorithm dbr:Rigour dbr:Decidability_(logic) dbr:Decision_problem dbr:Computability_theory dbr:Computable_function dbr:Mathematics dbr:Church–Turing_thesis dbr:General_recursive_function dbr:Creativity dbr:Logic dbr:Computer_science dbr:Function_problem dbr:Mathematical_proof dbc:Computability_theory dbc:Theory_of_computation dbr:Effective_results_in_number_theory dbc:Metalogic dbr:Recursive_set dbr:Turing_machine dbr:Undecidable_problem dbr:Number-theoretic_function dbr:Λ-calculus dbr:Wikt:finite |
| dbp:wikiPageUsesTemplate | dbt:ISBN dbt:Reflist dbt:Short_description dbt:Logic-stub dbt:Metalogic |
| dct:subject | dbc:Computability_theory dbc:Theory_of_computation dbc:Metalogic |
| gold:hypernym | dbr:Procedure |
| rdf:type | dbo:AnatomicalStructure |
| 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) |
| rdfs:label | Αποτελεσματική μέθοδος (el) Effective method (en) Эффективный процесс (ru) Método efetivo (pt) Ефективний метод (uk) |
| owl:sameAs | freebase:Effective method wikidata:Effective method dbpedia-el:Effective method dbpedia-pt:Effective method dbpedia-ru:Effective method dbpedia-sr:Effective method dbpedia-uk:Effective method http://uz.dbpedia.org/resource/Effektive_usul https://global.dbpedia.org/id/4jG2B |
| prov:wasDerivedFrom | wikipedia-en:Effective_method?oldid=1094901722&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Effective_method |
| is dbo:wikiPageRedirects of | dbr:Effective_calculability dbr:Effective_procedure dbr:Effectively_calculable dbr:Effectively_calculable_function |
| is dbo:wikiPageWikiLink of | dbr:Algorithm dbr:Decidability_(logic) dbr:Decision_problem dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Inverse_function_theorem dbr:Computable_function dbr:Church–Turing_thesis dbr:Computable_topology dbr:Computational_epistemology dbr:Theoretical_computer_science dbr:Las_Vegas_algorithm dbr:Fallibilism dbr:Formal_proof dbr:History_of_logic dbr:Well-formed_formula dbr:Halting_problem dbr:Tautology_(logic) dbr:Philosophy_of_computer_science dbr:Subcountability dbr:Effectiveness dbr:Automata_theory dbr:Turing_machine dbr:Evert_Willem_Beth dbr:Outline_of_logic dbr:Effective_calculability dbr:Effective_procedure dbr:Effectively_calculable dbr:Effectively_calculable_function |
| is rdfs:seeAlso of | dbr:Church–Turing_thesis |
| is foaf:primaryTopic of | wikipedia-en:Effective_method |