===== COMPUTADOR ===== Um computador se compõe essencialmente de [[lexico:q:quatro:start|Quatro]] unidades: [[lexico:u:unidade:start|unidade]] de entrada, de saída, de [[lexico:c:calculo:start|cálculo]] e de [[lexico:m:memoria:start|memória]]. O cálculo a [[lexico:s:ser:start|ser]] feito é fornecido através da unidade de entrada. Na memória está o "programa" que dá as regras para se efetuar o cálculo, [[lexico:o:o-que-e:start|o que é]] feito na unidade ae cálculo. A resposta é fornecida pela unidade de saída. Embora "máquinas computadoras" já houvessem sido construídas desde [[lexico:d:descartes:start|Descartes]], e embora [[lexico:l:leibniz:start|Leibniz]] tivesse inclusive tentado desenvolver uma [[lexico:t:teoria:start|teoria]] para máquinas de calcular (e embora Swift tenha satirizado sarcasticamente as tentativas de se construírem tais máquinas, com sua máquina-para-fazer-filosofias, só muito recentemente foi desenvolvida uma teoria capaz de possibilitar a construção de computadores. A teoria da [[lexico:e:estrutura:start|estrutura]] de uma [[lexico:m:maquina:start|máquina]] de calcular é dada pela teoria das máquinas de Turing e pela teoria dos autômatos (v. máquinas matemáticas); existem restrições formais aos cálculos que um computador é capaz de fazer — um [[lexico:p:problema:start|problema]] formalmente insolúvel de [[lexico:d:decisao:start|decisão]] [[lexico:n:nao:start|não]] pode ser "resolvido" por um computador (v. teoria não decidível). A engenharia de um computador é realizada pela [[lexico:t:teoria-da-informacao:start|teoria da informação]] e pela [[lexico:c:cibernetica:start|cibernética]]: estas duas tecnologias nos possibilitarão construir uma, máquina em condições ótimas, isto é, que efetue os cálculos desejados com um mínimo de erros e no [[lexico:t:tempo:start|tempo]] mais curto [[lexico:p:possivel:start|possível]]. {{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}