Flvio Lins da Mota Nascimento

Desenvolvimento sobre Apresentaes de

Computao Natural (grupo: OMT) e;
Lgica e Fundamentos da Matemtica (grupo: 4!)

Introduo Computao
Professor: Cristiano Coelho






UFPE
Recife
2014


Computao Natural
A computao natural uma linha de pesquisa da Cincia da
Computao. Esta, por sua vez, responsvel por estudar algoritmos para a
resoluo de problemas e utiliza o computador como a ferramenta que d a
resposta neste processo.
No caso da Computao Natural, que at pelo nome podemos deduzir,
est fortemente ligada natureza, utilizando-se de fenmenos naturais como
inspirao para desenvolvimento de algoritmos, ou criando algoritmos para
simulao destes fenmenos, ou at mesmo usando materiais naturais para
realizar computao. O computador precisa de um procedimento para
resolver problemas matemticos, como por exemplo, contar de 1 a 5. Isso
que dizer algoritmo, que um evento detalhado que diz respeito ao
computador o que fazer para resolver um problema.
Existe uma rea de pesquisa e desenvolvimento de algoritmos
inspirados na natureza ou bio-inspirados. Nela os pesquisadores observam o
comportamento dos fenmenos naturais e se utilizam desta observao como
inspirao para novas formas de abordagem aos problemas. Assim, o prprio
termo sugere a inspirao no quer dizer que o fenmeno reproduzido, mas
serve como base para novas ideias e pode fornecer diferentes vises de um
problema ou possibilidades de resoluo de problemas.
Entre muitas tecnologias criadas tendo como base conceitos
encontrados na natureza, podemos citar o velcro (plantas), sonares
(morcegos), submarinos (peixes), entre outros. Sendo a observao da
natureza permitiu tambm o desenvolvimento de teorias a respeito de como a
natureza opera, como, por exemplo, as leis da termodinmica. Levamos a
entender que a Computao Natural uma verso computacional do processo
citado de algoritmos, em que ideias so obtidas atravs da observao da
natureza.


A observao do comportamento da natureza tem inspirado os
pesquisadores a desenvolver o algoritmo. Como exemplo, temos a criao do
sistema ACO (Ant Colony Optimization) que pode ser aplicado em problemas
de roteamento de veculos nas cidades. Isto foi possvel pela observao do
dinamismo inerente ao comportamento das formigas, assim, o algoritmo foi
capaz de se ajustar a obstculos durante o trajeto, como vias interditadas ou
at mesmo trfego intenso.
Existem muito outros exemplos: algoritmos bio-inspirados alguns
famosos e outros no. As redes neurais artificiais, algoritmos genticos,
sistemas imunolgicos artificiais, algoritmos de enxames (abelhas, formigas,
morcegos, baratas, etc.), qumica artificial, etc.
Sem dvidas, os computadores ajudam pesquisadores desta rea a
compreenderem melhor a natureza, seus fenmenos, suas particularidades e
seus perigos. Podemos ver isso em ao no jornal dirio com a previso do
tempo, em simulaes de furaces, e outras tentativas de se prever o
comportamento da natureza. Trazendo para a populao a minimizao dos
riscos e tragdias causadas pelos fenmenos da natureza.
Os pesquisadores utilizam o computador para simular a natureza,
podemos dizer que algo que j estamos mais habituados a ouvir. Neste
sentido, a ferramenta computador tem ajudado a desvendar a compreenso
melhor do funcionamento da natureza, os fenmenos decorrentes dela e suas
particularidades.
Outra rea da Cincia Natural a computao grfica se utiliza de
algoritmos para simulao de movimento de animais e desenho de formas.
Um exemplo disso a simulao da movimentao em enxame ou bando de
insetos, de pssaros, de peixes, etc., que conhecido como algoritmo de
boids. Neste caso, o algoritmo possui regras bsicas que atuam em cada um


dos indivduos, que na coletividade se comportam com uma massa coesa em
continua movimentao.
Ainda existe a computao com materiais naturais relativamente nova
e tenta contornar a Lei de Moore. Esta lei dizia respeito do poder de
processamento dos computadores, entendendo computadores como a
informtica geral, dobraria a cada 18 meses. Ela surgiu em 1965 atravs de
um conceito estabelecido por Gordon Earl Moore. Assim esta Lei ainda est
valendo, embora no haja garantia se esta tendncia continuar. Os
processadores so feitos baseados em silcio e este material tem um limite
fsico de miniaturizao, ento os cientistas comearam a pensar em outros
materiais e formas para realizar computao. Duas linhas so fortes nesta
rea: computao molecular e a computao quntica.
Na Computao Molecular, so utilizadas tcnicas desenvolvidas na
biologia molecular para resolver problemas, ou seja, as molculas so a
memria e o processador de um computador.
A rea mais forte na Computao Molecular, a linha a computao
com DNA, que no , necessariamente, utilizando o DNA. Pelas pesquisas, a
ideia usar a base quaternria (A, C, T, G) ao invs da base binria dos
computadores, para desenvolver algoritmos, onde as operaes so
procedimentos de laboratrio biolgico (PCR, sequenciamento, etc.) e tudo
ocorrendo dentro de um tubo de ensaio.
Mesmo assim, a Computao Molecular tem muitos desafios a serem
superados, como a reutilizao das molculas e at mesmo custo destes
procedimentos. Uma relevncia nesta rea est no imenso paralelismo das
reaes moleculares que reduz o tempo de resposta aos problemas que so
extremamente complexos.
J no caso da Computao Quntica, o computador quntico baseia-se
na mecnica quntica, que pelos trabalhos apresentados, referem que no h


abandono pela fsica clssica, e sim adicionado os conceitos da fsica
moderna. A ideia usar tomos (eltrons, ftons, nutrons, entre outros) para
computar, ou seja, ao invs de usarmos os bits tradicionais passaremos a
usar os bits qunticos (qubits). O bit sempre 0 ou 1, j o qubitpode ser
0 ou 1 ou uma sobreposio. Para tentarmos entender melhor esta
dualidade temos o paradoxo do gato de Schrdinger, que diz que um gato em
uma caixa com veneno dado como vivo e morto ao mesmo tempo at que
ele seja observado e seu estado definido como vivo ou morto.
H de se ressaltar a dificuldade de trabalhar em escala atmica
controlar e observar estes tomos, o LHC (Large Hadron Collider) j mostra o
grande desafio que trabalhar em escalas to pequenas, muitos menores
que uma clula. Mas mesmo assim, a computao quntica tem atrado
muitos pesquisadores atravs de simulaes qunticas nos computadores
atuais. Assim sendo, os algoritmos qunticos esto sendo simulados em
computadores de silcio permitindo que pesquisadores estudem o software
antes do hardware existir. As simulaes tambm ajudam os pesquisadores a
pensar como ser um computador quntico, sua viabilidade, seu
funcionamento, e tudo mais que envolve o desenvolvimento de uma nova
tecnologia.
Com relao aos trabalhos apresentados pelos grupos na Disciplina
deste curso, destacamos os assuntos:
- Novas Tecnologias
- Aperfeioamento de Sistemas
- Possibilidade de utilizao de mecanismos naturais
- Entrevista com o professor Silvio de Barros
- Tomografia Gama para aplicaes industriais


- Anlise de misturas em refinarias
- Parceria com o DEN.UFPE (Dept de Energia Nuclear)
- Processamento Grfico
- Fundamentos em Geometria Projetiva
- Algoritmos Bsicos
- Realidade Aumentada
- Automao Inteligente
- Aprendizagem de Mquina
- Biorobtica Inteligente
- Redes Neurais

So destaques tambm as experincias relevantes:
1) CIN UFPE
Aluna: Rebeca Alencar - Graduao
Objetivo: Trabalhar na rea de sistemas embarcados
rea de enormes possibilidades e que no foca necessariamente e hardware
ou software.
No tem objetivo de seguir para o CsF
No seguiria o ramo acadmico
Sistemas Embarcados


- Metodologia Co-Design HW/SW
- Engenharia de Sistemas Embarcados
- Sistemas de reconhecimento de imagem
- Processamento de Imagens
- Muitas cadeiras so importantes para essa rea.

2) caro Valgueiro - Ps-graduando
- Desenvolvimento de Games, Tomografia Computacional
- Durante a graduao montou a startup: C2Flag - Dino Jump
- Pesquisa na rea de tomografia computacional
- No h diferenciao entre o mercado de trabalho e o lado acadmico.
- Mercado especializado, pede um profissional especializado.

3) Cincias Sem Fronterias
Aluno: Leonardo Pires dos Santos
University of Kansas
Pontos Marcantes
A experincia do aluno destacou os seguintes pontos:
- Modo de ensinar dos professores


- Laboratrios
- Nova Lngua
- Trabalho em mini empresa desenvolvedora de software
- Mtodo de Avaliao no somente baseada em provas
- Computao Natural se aproveita da melhor engenharia reversa.
- Como consequncia compreende melhor nosso ecossistema.
- Computao Natural no segue apenas uma linha de pesquisa.
- CIN segue os formatos de avaliao das universidades do exterior.
- Cincia sem Fronteiras mais uma experincia, do que aprendizado.

Pelos estudos apresentados, a Biorrobtica um termo que cobre os
campos da ciberntica, binica e a engenharia gentica como um estudo
coletivo.
Este termo comumente usado como referncia ao estudo
da criao dos robs que simulam organismos biolgicos vivos, Ele tambm
utilizado ao contrrio, que fazendo com que organismos biolgicos
manipulveis e funcionais como robs.
As afirmaes so que, noutro sentido, a Biorrobtica se refere a
uma disciplina terica da engenharia gentica. Acreditando que os
organismos so criados e projetados por meios artificiais. Sendo a criao
de vida de uma matria no-viva por exemplo, Biorrobtica. Seu estado
altamente terico, ela atualmente limitada fico cientfica, o campo atual
em seu comeo a biologia sinttica.


Os campos de atuao so diversos, porm entendo que esta
rea da Computao Natural pode vir a ajudar no desenvolvimento de
tratamentos mais eficientes e eficazes, na criao de remdios mais potentes,
e auxiliar no entendimento da interao das molculas nos organismos.
Impactando num grande progresso para a humanidade.
A Computao Natural uma linha de pesquisa entendida como
interdisciplinar. A procura por buscas de novas ideias e solues, com suas
diversas possibilidades de atuao, procurando resoluo de velhos e novos
desafios nas reas da sade, avano da tecnologia, qualidade de vida,
cuidado com o meio ambiente, aprendizado de maneira geral.
As crianas j nascem e crescem sendo estimuladas a utilizar cada vez
mais precoce as diversas tecnologias. Se encontrarmos uma criana olhando
demoradamente para as formigas ou observando uma revoada de insetos ou
pssaros, podemos atentar de que esta criana pode ser estimulada a ser um
pesquisador, principalmente na rea da Computao Natural.













A Lgica e os Fundamentos da Matemtica

Segundo um estudioso no assunto, Anthony Kenny, que um filsofo
com um vasto leque de interesses no campo das vrias especialidades
da filosofia analtico, o acontecimento mais importante na histria da filosofia
do sculo XIX foi a inveno da lgica matemtica, que no se tratou apenas
de fundar de novo a prpria cincia da lgica; foi algo que teve igualmente
consequncias importantes para a filosofia da matemtica, para a filosofia da
linguagem e, em ltima anlise, para a compreenso que o filsofos tm
sobre a natureza da prpria filosofia.
O principal fundador da lgica matemtica foi Gottlob Frege, um
alemo, que nasceu em 1848 e morreu em 1925. Havia se doutorado em
Filosofia, seus trabalhos foram pouco lidos enquanto viveu, e mesmo depois
da sua morte, sendo assim, s exerceu influncia por intermdio dos escritos
de outros autores. Porm gradualmente foise reconhecendo que Frege foi o
maior de todos os filsofos da matemtica e que, como filsofo da lgica, foi
comparvel a Aristteles. A inveno dele da lgica matemtica foi uma das
maiores contribuies para os desenvolvimentos, em diversas disciplinas, que
estiveram na origem dos computadores. E desta forma, tivemos a nossa vida
afetada.
Em meio crise dos fundamentos da Matemtica, as respostas crise
de fundamentos desenvolveram-se em diferentes direes, formando-se trs
correntes principais denominadas de logicismo, formalismo eintuicionismo.


Russell aderiu ao pressuposto de Frege da unidade de lgica e
matemtica e escreveu junto com Whitehead, o monumental texto
dos Principia Mathematica, no qual so desenvolvidas de uma maneira
contnua a lgica e a matemtica. Esse aprofundamento das ideias de Frege
como resposta crise constitui a base da tendncia logicista.
Este foi um pequeno resumo da histria da lgica da matemtica, em
termos simples, um paradoxo e uma figura de pensamento que consiste na
exposio contraditria de ideias, fato que observado em situaes em que
duas coisas opostas parecem verdadeiras ao mesmo tempo. Existem
diversos tipos de paradoxos, entre eles os lgicos, matemticos, filosficos,
psicolgicos, fsicos, condicionais, dentre outros.
Paralelamente, os paradoxos parecem apenas simples brincadeiras, no
entanto, convm ressaltar que muitos deles tiveram um papel importante. H
muito tempo, a identificao do estudo de paradoxos tem auxiliado de forma
significativa o progresso da cincia, filosofia e matemtica.
Ressalta-se que ao final do sculo XIX e incio do sculo XX, com
avanos na lgica e matemtica, e esses paradoxos passaram a ser divididos
em duas classes principais: sintticos, que so os lgicos, e os semnticos.
Um paradoxo e chamado sinttico se pode ser descrito utilizando a linguagem
formal da Lgica de Primeira Ordem. No entanto, os paradoxos semnticos
no podem ser descritos utilizando uma linguagem formal.
Salienta-se tambm outro aspecto que deve ser mencionado aqui e a
existncia de uma infinidade de tipos de lgica, dentre as quais podemos citar
as lgicas clssica, modal, paraconsistente, multivalorada, intucionista, fuzzy,
etc. Este estudo que nos interessa mais diretamente aqui, e a lgica
proposicional como fundamentao bsica para a lgica de predicados. A
importncia do clculo proposicional para a computao e que ele serve de


base para a soluo de diversos problemas do mundo real, particularmente
daqueles que podem ser modelados por sistemas dicotmicos, ou seja,
situaes em que as variveis envolvidas apresentam apenas dois estados
bem definidos, como 0 ou 1, verdadeiro ou falso, sim ou no, preto ou branco,
entre outras. Numa linguagem menos formal, essa rea da cincia e tambm
conhecida como Lgica Matemtica, sendo referenciada assim por diversos
autores. No nosso contexto, por lgica matemtica queremos dizer um
conjunto de trs aspectos principais que so: introduo e aspectos bsicos
da lgica proposicional, lgebra e clculo proposicional e uma breve
introduo a lgica de predicados. A concluso que toda esta base constitui
a base terica para a construo e programao de computadores.
A lgica antiga, moderna ou clssica no era plenamente formal,
pois no era aptica aos contedos das preposies nem s operaes
intelectuais do sujeito do conhecimento. Era atribuda a forma lgica o valor
de falsidade ou verdade com base na falsidade ou verdade dos atos de
conhecimento do sujeito e na irrealidade ou realidade dos objetos
conhecidos. Em oposio a essa linha de pensamento, a lgica
contempornea, procura se tornar um clculo simblico, preocupando-se
cada vez menos com o contedo material das preposies e com as
operaes intelectuais do conhecimento.
A lgica descreve as formas, as relaes e as propriedades das
preposies, em decorrncia da construo de um simbolismo regulado e
ordenado que permite diferenciar linguagem cotidiana e linguagem
formalizada. A linguagem formal nada tem relaes com a linguagem
cotidiana, pois se trata de uma linguagem inteiramente construda por ela
mesma, baseada no modelo da matemtica.

Desde o perodo da Grcia Antiga, a matemtica era considerada


uma cincia baseada no intuito intelectual de verdades absolutas, existentes
em si e por si mesmas, no dependendo de nenhuma interferncia humana.
As figuras geomtricas, os axiomas, os nmeros, as operaes
algbricas, as operaes aritmticas e os smbolos eram considerados
verdades absolutas necessrias, universais, que existiriam com ou sem os
homens e que permaneceriam existindo mesmo se os seres humanos
desaparecessem. Porm, a partir do XVII passou-se a considerar a
matemtica uma cincia que resulta de uma construo intelectual.

Os entes matemticos so puras idealidades construdas pelo
pensamento ou pelo intelecto, que formula um conjunto rigoroso de regras,
princpios, normas e operaes para a criao de nmeros, figuras, clculos,
smbolos, etc. Concludo que a matemtica uma cincia de formas e
clculos puros, organizados numa linguagem simblica perfeita, na qual cada
signo um algoritmo, isto , um smbolo com um nico sentido.
Tipos de Lgica:
- Lgica aristotlica
A lgica tem como objeto de estudo o pensamento, tambm as
regras que o comandam, para que esse mesmo pensamento faa sentido, de
acordo com Aristteles. Para ele, os elementos constituintes da lgica so o
conceito, juzo e raciocnio. As leis da lgica correspondem s ligaes e
relaes que existem entre esses conceitos.
Alguns sucessores desse filsofo grego foram responsveis pela
base da lgica na idade mdia, que se estendeu at o sculo XIII. Filsofos
desse perodo como Galeno, Porfrio e Alexandre de Afrodsia consideravam
a lgica como a cincia de julgar corretamente, pois permite chegar aos
raciocnios coerentes e formalmente aceitveis.


- Lgica de programao
Essa lgica eminente para a construo de programas ou
sistemas da informtica, por isso lgica de programao a linguagem
utilizada para desenvolver qualquer programa de computador. As ferramentas
para esse desenvolvimento so chamadas de algoritmo, que tem como foco
criar uma sequncia lgica de comandos para que a funo final seja feita
com sucesso.
- Lgica de argumentao
No se usa conceitos subjetivos nesta lgica, justo que a lgica
de argumentao nos capacita para julgar a validade ou se uma proposio
verdadeira ou falsa. Existem apenas sentenas cujas validades podem ser
verificadas. Ento, essa lgica tem como nfase julgar uma formatao das
sentenas e no do prprio contedo. Os silogismos so exemplos desse
pensamento lgico de argumentao. Por exemplo:
O Pico um gato. Todos os gatos so mamferos. Logo, o Pico um
mamfero.

- Lgica matemtica
Tambm conhecida como lgica formal conceitua-se baseada na
forma, ou seja, a estrutura. Levando em considerao vrias regras, o
pensamento lgico matemtico utiliza um processo de deduo para concluir
uma validade do raciocnio. Dessa forma, uma linha de raciocnio
possivelmente vlida ao atingir uma finalizao de validade verdadeira
usando premissas com essa mesma validade.
A lgica matemtica sempre tem o objetivo tambm de
concretizar raciocnios coerentes mediantes a lgicas anteriores, utilizando a
deduo ou a induo lgica. Por isso, a lgica formal pode ser separada em
dois grupos: lgica proposicional (guiada pela induo) e lgica de predicados
(seguindo a deduo).


Muitos consideram Leibniz a mente que deu incio a base da
lgica matemtica, que envolve as questes principais da matemtica.
Porm, apenas aps 1890, com Peano, teve-se o comeo interrogao a
respeito da consistncia de axiomas.
- Lgica proposicional
uma parte da lgica matemtica, pois se baseia e estuda a
lgica a partir das relaes entre sentenas ou proposies. E as pequenas
partes do inteiro podem ter suas prprias validades de verdade ou no.

possvel ento concluir que tal pensamento de fazer aparelhos
inteligentes no to atual. No Renascimento j se tentava achar mquinas,
de forma organizada, com o objetivo de substiturem o homem em algumas
atividades.
Para a questo da evoluo das maquinas computacionais teve
o desenvolvimento da nova cincia chamada de inteligncia artificial. A qual
focada para os conhecimentos e edificao de computadores com a
capacidade de simular possveis pensamentos, como o exemplo de
aprendizagem por experincia, ter decises, solucionar questes e
compreenso de formatos. Os pontos de desenvolvimento dessa cincia
esto cada vez mais avanados de acordo com nossa evoluo e estudos
nas reas de anatomia, fisiologia e principalmente neurologia cerebral
humana.
Como de fato as mquinas tm uma grande capacidade de
guardar informaes e desenvolve-las, desde 1940 se impe a interrogao
sobre suas consequncias no ambiente social. Essa questo vai continuar
pertinente de acordo com o poder que certas pessoas adquirem ao ter
controle desses dados computacionais na atualidade.