APRESENTAÇÃO

Olá turma, Nossa disciplina, Lógica e Conjuntos, de 60h/a, servirá de fundamentação para todas as disciplinas do curso. Nela, além de fundamentos da Lógica, apresentaremos noções básicas de Conjuntos. Com estes fundamentos, você, aluno, conhecerá a linguagem matemática básica e poderá perceber que esta linguagem é essencial, o que lhe possibilitará expressar melhor as afirmações e conclusões que compõem o corpo teórico da Matemática. Além disso, apresentaremos a ideia, precisa e indispensável para a sua formação, sobre que é uma demonstração. A Lógica é útil em qualquer área que exija raciocínios elaborados, bem como em casos práticos do nosso dia-a-dia. Um conhecimento básico de Lógica é indispensável para estudantes de áreas como Matemática, Filosofia, Ciências, Línguas ou Direito. Seu aprendizado auxilia os estudantes no raciocínio, na compreensão de conceitos básicos e na verificação formal de provas, preparando para o entendimento dos conteúdos de tópicos mais avançados. A Lógica Matemática tem hoje aplicações concretas extremamente relevantes em diversos domínios. Ela é utilizada no planejamento dos modernos computadores eletrônicos e é nela que se justifica a “inteligência” dos computadores atuais. Além da Lógica, a compreensão de noções básicas sobre conjuntos é essencial para a Matemática. Os conceitos da Matemática moderna, desde os mais básicos até os mais complexos podem ser formulados na linguagem de conjuntos. Desse modo, para dar consistência a qualquer afirmação matemática, basta, então, dar rigor às afirmações sobre conjuntos. O caráter fundamentalmente conceitual da Teoria dos Conjuntos dá-lhe lugar de destaque em todas as áreas em que o pensamento racional e, em particular, o pensamento científico é fundamental e, parece natural que ela deva estar na base de todas as ciências. A sua participação nas atividades e em cada aula será essencial para que você possa tirar o maior proveito da disciplina. Estaremos à disposição para maiores esclarecimentos. Desejo um bom curso a todos! Francisco Gêvane Muniz Cunha.