Problemas lógicos oor Esperanto

Problemas lógicos

Vertalings in die woordeboek Portugees - Esperanto

Logika enigmo

voorbeelde

“Hoje em dia, os métodos da lógica só servem para resolver problemas secundários”.
Sed en tiu tago kaj epoko, logikaj metodoj estas aplikeblaj nur por solvi problemojn de duaranga intereso.

Ele contribuiu para a linguagem de processamento de informação (1956) e dois dos primeiros programas de inteligência artificial, a Logic Theorist (1956) e o General Problem Solver (1957) (com Herbert Simon).
Li kontribuis al la Programlingvo Information Processing Language (1956) kaj al du el la plej fruaj programoj de AI, nome Logic Theory Machine (1956) kaj General Problem Solver (1957) (kun Herbert A. Simon).

Esses termos formais são manipulados pelas regras da matemática e da lógica, e quaisquer resultados são então interpretados ou traduzidos de volta ao domínio do problema.
Ĉi tiuj formala terminoj estas manipulita per la reguloj de matematiko kaj logiko, kaj ĉiuj rezultoj estas tiam interpretitaj aŭ tradukitaj malen en la probleman domajnon.

O Fio de Ariadne, assim chamado devido a lenda de Ariadne, é o termo usado para descrever a resolução de um problema que se pode proceder de diversas maneiras óbvias (como exemplo: um labirinto físico, um quebra-cabeça de lógica ou um dilema ético), através de uma aplicação exaustiva da lógica por todos os meios disponíveis.
En logiko, la termino estas la solvo de problemo kun multnombraj evidentaj solvopaŝoj - kiel fizika labirinto, logika enigmo aŭ etika dilemo - per ĝisfunda apliko de logiko por ĉiuj disponeblaj itineroj.