O estudo da logica esta muito presente na computacao, mas nao e de hoje que se estuda logica. Estudiosos como Aristoteles, George Boole e Gotlob Frege tiveram contribuicao muito importante para o estudo da logica, e e sobre esses estudiosos e a logica que falarei hoje.Aristoteles foi o primeiro cientista a estudar e criar um conceito de logica, no caso, ele se baseia em suposicoes, deducoes e proposicoes. De forma simples, atraves de duas proposicoes e possivel se chegar a uma conclusao logica, por exemplo: 1- Todos os homens sao mortais; 2- Socrates e um homem; 3-Logo, Socrates e mortal.No exemplo acima, atraves de duas proposicoes bem simples se tem a conclusao logica de que Socrates e mortal.Aristoteles nao chegou a publicar suas ideias sobre logica em uma obra, porem a primeira obra a tratar de logica, Organon, foi criada por sucessores de Aristoteles tendo como base os estudos do mesmo.George Boole e um estudioso mais moderno, que viveu no seculo 19, onde ocorreram muitos avancos cientificos principalmente na matematica. Ele foi o desenvolvedor da chamada algebra booleana, e aperfeicoou ideias sobre logica baseando-se nos principios da afirmacao e negacao e gerando combinacoes dos mesmos em proposicoes.Gottlob Frege foi o estudioso que mais se aprofundou no estudo da logica, criando assim um sistema de escrita matematica para proposicoes logicas no qual nao havia necessidade de traducao, apenas um estudo da simbologia e analise das proposicoes e dos conectores, com isso ele universalizou o estudo da logica. Hoje vou falar sobre algumas disciplinas do curso de ciencia da computacao da UFS(Universidade Federal de Sergipe), 3 pra ser mais preciso. Vou comecar falando de programacao imperativa.PI, como e chamada a disciplina programacao imperativa, serve para inicializar o estudo de producao e analise de software, ou seja, e o primeiro contato que os alunos tem com algoritmos e linguagens de programacao(salvo os autodidatas). Essa disciplina e muito importante pois serve de base para varias outras pois mostra um paradigma inicial e fundamental para o desenvolvimento de software. Aparentemente nao tem nada a ver com os desafios da SBC, mas como serve de base para varias outras discpiplinas, fica clara a importancia de PI para a grade curricular e consequentemente para a formacao do profissional da area.Uma outra disciplina muito interessante se chama Informatica Educativa, e tem tudo a ver com os desafios da SBC. Essa disciplina serve para tornar o conhecimento do profissional de ciencia da computacao util para a sociedade, ou seja, fazer com que esse conhecimento seja passado para pessoas necessitadas e para o ensino com auxilio da computacao de forma geral, sendo assim uma disciplina muito importante para a formacao nao so profissional, mas tambem do carater do estudante de ciencia da computacao.Como falei de PI, que e a base de muita coisa no curso, agora falarei de PAA(Projeto e Analise de Algoritmos). Pode-se considerar PAA como sendo a busca incessante pela perfeicao. consiste no estudo aprofundado de algoritmos, visando o aperfeicoamento por parte do aluno para que o mesmo adquira excelencia em sua producao de software, algo muito importante no mercado