O assunto desse post e sobre algumas famosas pecas que deram origem a logica matematica que e ricamente abordada no nosso curso de Ciencia da Computacao: Aristoteles, George Boole e Gottlob Frege.Aristoteles: E considerado um dos maiores pensadores de todos os tempos e criador do raciocinio logico. Trouxe contribuicoes para varias areas como: fisica, biologia, historia, entre outras. Para ele, a logica e uma introducao para as ciencias e para o conhecimento e baseia-se no raciocinio formalmente estruturado que supoe certas premissas colocadas previamente para que haja uma conclusao necessaria.George Boole:E o criador da algebra booleana, base da atual matematica computacional. As algebras booleanas sao estruturas algebricas que usam operacoes logicas E, OU e NAO, bem como das operacoes da teoria de conjuntos soma, produto e complemento. A algebra booleana foi uma tentativa de utilizar tecnicas algebricas para lidar com expressoes no calculo proposicional. Hoje, ela tem muitas aplicacoes na eletronica.Gottlob Frege:Criador da Logica Matematica Moderna, sempre trabalhou na fronteira entre Matematica e Logica, sendo considerado, depois de Aristoteles, o maior logico do mundo. A grande contribuicao de Frege para a logica matematica foi o criacao de um sistema de representacao simbolica para representar a estrutura dos enunciados logicos e suas relacoes. A mairo preocupacao dele era em sistematizar o raciocinio matematico, contrariamente a Aristoteles. Observando que os matematicos da epoca cometiam erros na demonstracao de seus teoremas, Frege resolveu formalizar as regras de demonstracao, iniciando com regras elementares, bem simples, que em sua aplicacao nao restassem duvidas.Fonte: Wikipedia Bom galera, a postagem de hoje e sobre um assunto muito discutido pelo senado e por todas as pessoas que fazem parte do cenario da Computacao no Brasil: a regulamentacao da profissao. De acordo com a SBC(Sociedade Brasileira de Informatica), que nos representa, o exercicio da profissao na area de informatica deve ser livre, independente de possuir ou nao um curso superior na area. Como justificativa para essa posicao, e dito que uma regulamentacao desse tipo seria novico e contra o progresso e o desenvolvimento da area e contrario aos interesses da SBC.Na minha opiniao, as propostas de regulamentacao a favor da nao-regulamentacao da profissao implicam em uma diversidade bem grande de profissionais, que independemente de serem formados ou nao, serao avaliados e, por merito, os profissionais formados e com diploma se destacarao em relacao ao auto-didata, nao havendo concorrencia de vagas de emprego entre esses dois tipos de profissionais. Dessa forma, na teoria, os profissionais formados possuirao uma carga didatica maior do que auto-didatas e influenciara se o profissional possui ou nao o diploma na hora de disputar uma vaga no mercado de trabalho. Bem, o post dessa semana e muito interessante e e a respeito de uma novidade em tecnologia de Hardware. A D-Link(www.d-link).com lancau no mercado uma linha de adaptadores PowerLine HD que oferecem conexao de rede Ethernet atraves da rede eletrica. Isso mesmo, REDE ELETRICA!Com isso nao e necessario de cabos adicionais. Basta plugar o adaptador na tomada e um equipamento de rede nele (switch, computador, caixas NAS, consoles de video game etc) para que a rede seja estabelecida.