lógica segundo aristòteles, boole e frege

Entendida popularmente como o estudo do raciocínio correto, a lógica surge no Ocidente com o filósofo grego Aristóteles. Para mostrar que os sofistas (mestres da retórica e da oratória) podem enganar os cidadãos utilizando argumentos incorretos, Aristóteles estuda a estrutura lógica da argumentação. Revela, assim, que alguns argumentos podem ser convincentes, embora não sejam corretos. A lógica, segundo Aristóteles, é um instrumento para atingir o conhecimento científico.

Já Boole criou a lógica booleana, originalmente desenvolvida por George Boole em meados de 1800, permite que uma série de coisas pouco prováveis sejam mapeadas em bits e bytes. O que há de genial sobre a lógica booleana é que, uma vez entendido seu processo, ela (ou pelo menos a parte necessária para compreender as operações de um computador) é absurdamente simples. Boole era autodidata e fundou aos 20 anos de idade a sua própria escola e dedicou-se ao estudo da Matemática. Em 1847 publicou The Mathematical Analysis of Logic em que introduziu os conceitos de lógica simbólica demonstrando que a lógica podia ser reduzida a equações algébricas.

Antes de Frege, a lógica formal não obteve sucesso além do nível da lógica de sentenças: ela podia representar a estrutura de sentenças compostas de outras sentenças, usando palavras como "e", "ou" e "não", mas não podia quebrar sentenças em partes menores. Não era possível mostrar como "Vacas são animais" leva a concluir que "Partes de vacas são partes de animais". então ele criou a lógica de predicados, onde ele mostrou como podemos introduzir variáveis e quantificadores para reorganizar sentenças. Frege trata sentenças simples sem substantivo como predicados e aplica a eles to "dummy objects" (x). A estrutura lógica na discussão sobre objetos pode ser operada de acordo com as regras da lógica sentencial, com alguns detalhes adicionais para adicionar e remover quantificadores. O trabalho de Frege foi um dos que deu início à lógica formal contemporânea.

Todos os três, tiveram uma grande comtribuição para a lógica como a conhecemos atualmente. 

Perfil

Comecei a gostar de informática na 5ª série no CODAP com a professora Aldênia como já falei aqui no blog. passado os ano e vendo q era isso q eu queria prestei vestibular pra CC. estou gostando bastante do curso. o curso tem bons professores q vão ajudar bastante no meu desenvolvimento na universidade e na vida(pelo menos é oq eu espero). nunca fiz nenhum curso de computação.... nada. mas estou gostando bastante e é a área q eu quero. até agora não tive nenhuma dúvida. e essew trabalho inicial do blog tem me ajudado a poder pensar sobre o curso, onde irei trabalhar, como vou trabalhar, em que eu posso ajudar os outros atravez do meu curso(nas aulas do professor shneider) e assim por diante. oq eu posso esperar do curso é que ele me ajude não só na minha vida profissional como na pessoal. 

Conhecendo a estrutura institucional do curso de CC...

Por estudar no CODAP durante 7 anos eu já tinha uma familiaridade com as estrutaras da UFS. Apesar de ter procurado conhecer o curso no ano passado, não cheguei a conhecer tudo sobre a estrutura do curso, mas o suficiente para saber que era o que eu queria!  

Por isso a primeira semana de aula com a professora Leila, foi imprescidível para que eu pudesse conhecer a estrutura do meu curso. Ela ministrou três palestras com a função de passar uma visão geral não só do curso de ciências da computação, como tambem do curso de sistema de informação e eng. da computação. Todos os três oferecidos pelo Dcomp. Além de falar sobre os cursos oferecidos pelo Dcomp, ela falou da estrutura da Universidade Federal de Sergipe. Através dessas palestras descobri muitas coisas importantes que me ajudarão a levar o curso da melhor maneira possível.  Ela citou alguns orgãos da universidade, os quais vamos lidar durante o curso. Dentre os órgãos que ela citou lembro-me desses: DAA (Departamento de Administração Acadêmica), DCOMP (Departamento de Computação), DMAT (Departamento de Matemática),  Calicomp (Centro Acadêmico Livre de Computação),DFIS (Departamento de Física), DCE (Diretório Central dos Estudantes), Softeam (Empresa junior de Informática da UFS) e a Reitoria. Todos eles tem uma grande importância para o curso de CC. E vou lhes passar o que eu sei de cada órgão citado acima. Seja pela minha experiência vivida, seja pelas informações dadas pela professora Leila.

A reitoria é o órgão maior da universidade. E nela está contida a Pró-Reitoria de Assuntos Estudantil (ProEst), a Pró-Reitoria de Graduação (ProGrad) e outros setores de importância para a universidade.  

Um departamento muito importante é o DAA(Divisão de Assuntos Acadêmicos), que é a entidade responsável pelos assuntos dos alunos, nós, como matricula institucional, solicitação de matricula por matéria, evolução curricular, entre outros. Esse departamento é o mais importante e de maior expressão entre os alunos, mas existem vários outros departamentos, setores e pró-reitorias na UFS.

Temos o CCET(Centro de Ciências Exatas e Tecnólogo), que contém alguns departamentos, como o DComp (Departamento de Computação), Dmat(o Departamento de Matemática) e o DFIS(Departamento de Física), de maneira que todos os departamentos citados estão ligados de certa forma ao curso de CC.

O DCE (Diretório Central dos Estudantes), que é a entidade que representa os interesses dos estudantes da universidade perante alguns órgãos, é responsávél pelas decisões junto à reitoria e suas extensões, apoiar projetos de estudantes, movimentos estudatis, enfim, defender o interesse do universitário. 

O que mais me chamou atenção foi uma empresa diretamente ligada ao curso que é comandada por alunos do cursos do departamento de computação, a Softeam. Ela é uma empresa localizada no departamento de computação da UFS da qual fazem parte os alunos que cursam os cursos oferecidos pelo Dcomp. Os alunos que participam desta empresa vivem mais intensamente o curso, pois viverá os problemas reais que irão enfrentar no mercado de trabalho. Dessa forma se aprende trabalhando e melhora o seu currículo na universidade. 

Enfim, espro ter conseguido passar para todos a minha pequena experiência no curso. Acredito que essas informações possam ajudar a quem esteja no curso de CC mas tambem a quem esteja começando a carreira estudantil na UFS. Pois elas estão me ajudando bastante! Com o passar do tempo irei postar mais experiências adquiridas não só na disciplina de funtamentos da computação, mas tambem em qualquer outra disciplina que possa ter algum assunto relevante e que ajude a todos. Obrigado a todos que leram este post e por hoje é só.

O começo de tudo...

Antes de falar do curso gostaria de falar como cheguei até ele, aproveitando para me apresentar. Eu me chamo Lucas e estou iniciando no curso de Ciência da Computação na Universidade Federal de Sergipe, a UFS, e estou adorando. Mas e o que despertou a minha  vontade de cursar CC???Tudo começou na 5ª série, no Colégio de Aplicação, o CODAP, com as aulas de informática ministradas pela professora Aldênia. Sempre tive bastante afinidade com as exatas e computação, então não foi tão complicado escolher o curso. No terceiro ano eu já tinha decidido prestar o vestibular pra CC, pois já tinha procurado saber sobre o curso no departamento de computação, o Dcomp, e logo decidi que iria serguir esta carreira. Pelo CODAP ser dentro da universidade eu tive o privilégio de poder conhecê-la no meu dia-a-dia durante 7 anos. Hoje estou do outro lado e através deste blog pretendo passar minhas experiências adquiridas ao longo do curso.