Escolhi o curso de Ciências da Computação porque me interesso pela área de informática desde que eu era novo e tive contato com meu primeiro computador, um AMD K6. Sempre explorei seus recursos e gostava de jogos, tanto que tinha vontade de criá-los.
Como não tinha conhecimento por linguagem de programação, criava jogos pelo Power Point. Até que aos 17 anos ganhei um livro sobre algoritmos e linguagens de programação, aprendi Pascal e C++, além de ter ampliado meus horizontes, querendo desenvolver softwares em geral e não apenas jogos.
Após ter decidido o que queria para o futuro, estudei para passar na universidade federal no curso de Ciências da Computação por ser o mais amplo da área no desenvolvimento de softwares, que era exatamento o que eu queria.
Assim, no dia 2 de março eu vim para o primeiro dia de aula na UFS. Com o passar do tempo, fui analisando e, no geral, gostei da universidade apesar de no começo não ter quase nenhuma aula, mas estou achando bom o ensino.
domingo, 29 de março de 2009
LÓGICA MATEMÁTICA
ARISTÓTELES: Foi ele quem criou a lógica, na Idade Antiga, que na época ela se chamava analítica, passando a se chamar lógica no período helenístico. O objetivo da criação dessa lógica foi a proposição, ou seja, a atribuição de um predicado a um sujeito.
Como criador, Aristóteles desenvolveu algumas características para a lógica, tais como a introdução de letras mudas para denotar os termos e a criação de termos fundamentais como "válido", "não válido", "universal", "particular".
Até hoje a sua lógica é usada, apesar dos enormes avanços da lógica, mas há algumas limitações como a assentuação no uso da linguagem natural.
Para Aristóteles, a lógica é um instrumento, uma introdução para as ciências e para o conhecimento baseada no silogismo. Tanto que sua primeira obra sobre lógica era chamada de Organon, que significa "Instrumento da Ciência".
GEORGE BOOLE: Aristóteles criou a lógica, propriamente dita, que teve algumas ramificações, uma delas, a lógica matemática, foi desenvolvida por Boole no seu livro "Mathematical Analysis of Logic". Esse tipo de lógica foi desenvolvido com o intuito de transformar a lógica numa forma de álgebra.
Boole também foi importante por ter acabado com as restrições impostas na lógica de Aristóteles, afirmando que havia uma inifindade de raciocínios válidos e não-válidos.
Também ficou muito conhhecido por ser o criado da álgebra booleana. Basicamente, essa álgebra é um conjunto de estruturas algébricas, sendo elas E, OU, NÃO, soma, produto e complemento.
GOTTLOB FREGE: Quem também foi importante para a lógica matemática foi o filósofo e matemático Frege, sendo o primeiro a apresentar o cálculo proposicional na sua forma moderna.
Frege queria mostrar que a aritmética era idêntica à lógica e pode-se dizer que recriou a disciplina da lógica ao construir o primeiro cálculo de predicados. Um cálculo de predicados é um sistema formal constituido por duas componentes: a linguagem formal e a lógica.
Inventou ainda, várias notações simbólicas como quantificadores e variáveis que poudesse fornecer fundamentos para lógica matemática moderna. Em síntese, tentou criar um sistema capaz de transformar os raciocínios dedutivos da lógica propriamente dita em deduções matemáticas.
Como criador, Aristóteles desenvolveu algumas características para a lógica, tais como a introdução de letras mudas para denotar os termos e a criação de termos fundamentais como "válido", "não válido", "universal", "particular".
Até hoje a sua lógica é usada, apesar dos enormes avanços da lógica, mas há algumas limitações como a assentuação no uso da linguagem natural.
Para Aristóteles, a lógica é um instrumento, uma introdução para as ciências e para o conhecimento baseada no silogismo. Tanto que sua primeira obra sobre lógica era chamada de Organon, que significa "Instrumento da Ciência".
GEORGE BOOLE: Aristóteles criou a lógica, propriamente dita, que teve algumas ramificações, uma delas, a lógica matemática, foi desenvolvida por Boole no seu livro "Mathematical Analysis of Logic". Esse tipo de lógica foi desenvolvido com o intuito de transformar a lógica numa forma de álgebra.
Boole também foi importante por ter acabado com as restrições impostas na lógica de Aristóteles, afirmando que havia uma inifindade de raciocínios válidos e não-válidos.
Também ficou muito conhhecido por ser o criado da álgebra booleana. Basicamente, essa álgebra é um conjunto de estruturas algébricas, sendo elas E, OU, NÃO, soma, produto e complemento.
GOTTLOB FREGE: Quem também foi importante para a lógica matemática foi o filósofo e matemático Frege, sendo o primeiro a apresentar o cálculo proposicional na sua forma moderna.
Frege queria mostrar que a aritmética era idêntica à lógica e pode-se dizer que recriou a disciplina da lógica ao construir o primeiro cálculo de predicados. Um cálculo de predicados é um sistema formal constituido por duas componentes: a linguagem formal e a lógica.
Inventou ainda, várias notações simbólicas como quantificadores e variáveis que poudesse fornecer fundamentos para lógica matemática moderna. Em síntese, tentou criar um sistema capaz de transformar os raciocínios dedutivos da lógica propriamente dita em deduções matemáticas.
sábado, 21 de março de 2009
Sobre os departamentos da UFS
DEPARTAMENTOS UFS DA ÁREA DE COMPUTAÇÃO
DEPARTAMENTOS GERAIS
Software Team (SOFTEAM): É uma empresa localizada no departamento de computação da UFS a qual fazem parte os alunos que estão cursando cursos da área de tecnologia de informação. Os alunos estão nessa empresa com o intuito de ampliar seus conhecimentos de computação e se preparar melhor para o mercado de trabalho.Centro Acadêmico Livre de computação (CALICOMP): Esse centro acadêmico é mais um feito para faciliar a vida dos estudantes da UFS.
DCOMP: Departamento de Computação da UFS, onde se encontram pessoas para resolver problemas e tirar dúvidas referente aos cursos da área de computação, além de contar com labortários de informática para os alunos.
DEPARTAMENTOS GERAIS
Departamento de Administração Acadêmica (DAA): Departamento onde são resolvidos vários assuntos importantes referentes às disciplinas que os alunos cursam no decorrer do curso. Tem também o DAA On-line, dando um suporte on-line para faciliar para o aluno resolver seus problemas. Nesse site também é possível que o aluno oferte disciplinas, tranque, enfim, como já foi dito, esse suporte on-line facilita a vida do aluno.
Assinar:
Postagens (Atom)