Um pouco sobre Lógica Matemática

Lógica é uma ciência que visa representar, por meio de proposições, o raciocínio válido. Entre os criadores desta ciência se destacam três.

Aristóteles - O estudo das condições de um raciocínio válido foi desenvolvido por filósofos como Paramedes e Platão. Mas foi Aristóteles quem fez o primeiro estudo formal sobre o raciocínio, baseava-se na suposição e dedução de proposições. Para ele tratava-se de mostrar o caminho para o raciocínio válido. Por exemplo :
1- Todo número par é divisível por dois.
2- Quatro é um número par.
3- Desse modo, quatro é divisível por dois.
A publicação da lógica Aristotélica foi feita por seus continuadores, os quais reuniram todos os estudos do mesmo na obra "Organum".

George Boole - Suas ideias deram início à álgebra de Boole, lógica simbólica apresentada no livro "Mathematical Analysis of Logic", que consiste na aplicação de valores lógicos (verdadeiro ou falso) às proposições e tambem na manipulação deles seguindo mecânismos similares ao da álgebra.

Gottlob Frege - Foi o principal criador da lógica matemática moderna, é considerado, junto a Aristóteles, o maior lógico de todos os tempos. Seu estudo baseava-se também em proposições lógicas as quais não necessitavam de "conteúdo", eram representadas por símbolos, o que facilitava o estudo da lógica.

Apresentações ....

Sou Carlos Alberto, nascido em Aracaju no mês de Outubro de 1989, calouro no curso ciências da computação na UFS (Universidade Federal de Sergipe). A única razão pela qual escolhi este curso foi que sempre fui apaixonado por jogos e sonho em um dia poder construí-los, e acho que no curso aprenderei o nescessário para conseguir alcançar meu objetivo.
Nos primeiros dias, em algumas das poucas aulas que tive foi apresentada, pela professora Leila, a universidade e seus departamentos e a diferença entre dos cursos de computação.
Os departamentos que nós alunos de Ciências da Computação teremos mais contato nesses 8 períodos de curso são o DAA e o DCOMP, além da empresa júnior SOFTEAM.

DAA (Departamento de assuntos acadêmicos)- é o departamento onde podemos resolver tudo referente a matricula, envolvendo trancamento de disciplinas ou da mesma.

DCOMP (Departamento de Computação)- é o departamento que envolve os cursos de computação que são: Sistema de Informações, Ciências da Computação e Engenharia da Computação.

SOFTEAM- empresa júnior onde nós alunos dos cursos de computação podemos trabalhar aplicando o conhecimento adquiridos nas aulas remuneradamente, é também onde podemos aprender tecnologias que não são ministradas em sala de aula.