1 Pesquise sobre o termo

lgica combinatria

(ou combinatory logic para info adicional)

tente compreender os combinadores SKI. Consegues diferenciar os combinadores de

operadores?
como um modelo de computao e como base para o desenvolvimento de linguagens
de programao funcionais. Ela baseada em combinadores, funes de ordem
superior somente usam aplicaes de funes e outros combinadores para definir
um resultado a partir de seus parmetros. Os combinadores SK pode ser pen
sado
como uma linguagem de programao de computador. importante na teoria
matemtica de algoritmos , porque um muito simples Turing completa lngua.Todas
as operaes em clculo lambda so expressos em SKI como rvores binrias , cujas
folhas so um dos trs smbolos S, K, e eu (chamado combinadores). Na verdade, o
smbolo I est includa apenas por convenincia, e apenas os outros dois so
suficientes para todos os efeitos do sistema.
2. O que a tese de ChurchTuring? O que a prova da computabilidade e como foi
construda?
Em 1936, a tese de Church a qual afirma que qualquer funo computvel (algoritmo)
pode ser processada por uma MT. Turing criou a MT como uma proposta de definio
formal de algoritmo. Computabilidade a habilidade de resolver problemas de forma
efetiva. um tpico chave para o campo da Teoria da Computabilidade dent
ro da

Lgica Matemtica e para a Teoria da Computao dentro da Cincia da Computao. A computab

lidade de um problema intimamente ligada existncia de um
algoritmo para resolver o problema.
3. Faa uma pesquisa sobre as linguagens de programao existentes e os seus
paradigmas.
um conjunto de regras sintticas e semnticas usadas para definir um programa de
computador. A linguagem estruturada uma linguagem de programao de
computadores que preconiza que todos os programas possveis podem ser reduzidos
a apenas trs estruturas: sequncia, deciso e repetio.
Programao modular ao no qual o desenvolvimento das rotinas de

programao feito atravs de mdulos, que so interligados entre si atravs de uma

interface comum.
Programao orientada a objetos um paradigma de anlise, projeto e
programao de sistemas de software baseado na composio e interao entre
diversas unidades de software chamadas de objetos
Programao linear so problemas de otimizao nos quais a funo objetivo e as
restries so todas lineares.
4. Lei de Moore, a palestra de Feynman, Peter Shor e a fatorao de nmeros inteiros
grandes.
O poder de processamento dos computadores (entenda computadores como a
informtica geral, no os computadores domsticos) dobraria a cada 18 meses.
O
algoritmo de Shor, batizado em homenagem ao matemtico Peter Shor, um
algoritmo quntico1 para fatorar um nmero N no primo de L bits.Usando bits
qunticos, ou qubits reciclados, o clculo quntico de Shor utilizado, explorando a
mecnica quntica, para simplificar a fatorao de nmeros em seus componentes
principais uma tarefa difcil para os computadores comuns, clssico, quand
o os
nmeros ficam muito grande. At 2012, o maior nmero fatorado usando o algoritmo
de Shor era 15.
5 O que um qubit?
Bit Quntico. Seria o equivalente num computador quntico, aos bits de
um computador atual. Num computador quntico, cada partcula capaz
de processar dados, seja um tomo, um eltron, um prton um on, ou o
que vier a ser usado, chamado de qubit. Cada qubit possui quatro
estados, ao contrrio de um transstor, que possui apenas dois estados
(ligado ou desligado).
6. D-WAVE
Uma empresa localizada no Canada, que trabalha com computao
quntica e a foi a primeira empresa desenvolver o primeiro computador
quntico comercial do mundo.