Fundamentos de Lógica e Lógica de Programação

Renato Tadeu Campioni

Ementa:

Conjuntos e Álgebra dos Conjuntos. Operações Lógicas. Relações de implicação e de equivalência. Argumento válido. Técnicas dedutivas. Quantificadores. Fluxograma. Álgebra de BOOLE. Programação em lógica. Conceitos fundamentais para construção de algoritmos estruturados. Tabela “Verdade”. Representação binária, decimal e bases mais utilizadas.

Metodologia:

Aulas teóricas onde o assunto é abordado em sala de aula de forma expositiva e dialogadas.Aplicação e resolução de exercícios.

CONTRATO DIDÁTICO-PEDAGÓGICO:

Semana Aulas Programação

1

4 Apresentação da disciplina - Conteúdo programado, bibliografia, metodologia de ensino, critério de avaliação.Importância da disciplina.Conceitos de Lógica.

24 Proposições.

Conceitos.Valores lógicos.

3

4 Princípios da Lógica Matemática.Proposições simples.Proposições compostas.Conectivos.

4 4 Tabela-verdade.

54 Operações lógicas sobre proposições.

Negação.Conjunção.

6 4 Operações lógicas sobre proposições.Disjunção.Condicional.Bi-condicional.

7 4 Revisão e exercícios.

8 4 Primeira Prova.

94 Devolução da Primeira Prova e Esclarecimento de Dúvidas.

Bases numéricas.

104 Conceitos fundamentais para a construção de algoritmos.

Fluxogramas.Exercícios de fluxograma com os operadores lógicos.

114 Introdução dos Algoritmos.

Algoritmos Estruturados.

124 Operadores.

Comandos de Desvios.Condicionais.

13 4 Laços determinados e indeterminados.

14 4 Comando “Para” e comando “Enquanto”.

15 4 Exercícios e Revisão.

16 4 Segunda Prova.

17 4 Devolução da Segunda Prova e Esclarecimento de Dúvidas.

18 4 Avaliação Complementar.

19 4 Devolução da Avaliação Complementar e esclarecimento de dúvidas.

204 Entrega final das notas e último dia para recursos.

Encerramento.

Bibliografia Básica:

DAGHLIAN, Jacob. Lógica e Álgebra de Boole. 4ª ed. Atlas, 1995.ALENCAR, Edgard. Iniciação à Lógica Matemática. Nobel, 2002.H. M. Deitel e P. J. Deitel, “Como Programar em C”. LTC Editora, Rio de Janeiro, 1999.Herbert Schildt, “C – Completo e Total”. Osborne/Makron Books do Brasil Editora Ltda., São Paulo, 1997.Brian W. Kernighan e Dennis M. Ritchie, “A Linguagem C”. Editora Campus.Bibliografia Complementar:KELLER, Vicente; BASTOS, Cleverson L. Aprendendo Lógica. 13ª ed.Vozes, 2000“Introdução à Linguagem C” – DSC – Centro de Computação. UNICAMP, Campinas.

Site: http://www.ccuec.unicamp.br/treinamento_int2004/lingc/index.htm

Obs.: Todo material aplicado em sala de aula estará disponível no site.

AVALIAÇÃO:

Instrumentos Peso / Ponderação Data

Primeira Prova 40% 31/03/2008

Segunda Prova 40% 02/06/2008

Primeiro exercício em aula 10%

Segundo exercício em aula 10%

A avaliação será continua visando aferir o aproveitamento do estudante na disciplina. Serão feitos duas avaliações teóricas individuais e exercícios ou trabalhos em sala de aula.

Formação Acadêmica

Universidade Estadual de Campinas (UNICAMP) – Campinas/SP (2007)Mestrado em Matemática AplicadaUniversidade Estadual de Campinas (UNICAMP) – Campinas/SP (2002-2005)Graduação em Matemática – Modalidade LicenciaturaUniversidade Estadual de Campinas (UNICAMP) – Campinas/SP (1999-2002)Graduação em Física Aplicada– Modalidade Bacharelado

2004 - 2004 Teoria dos Números. Universidade Estadual de Campinas, UNICAMP, Brasil.

2002 - 2002 Introdução ao Mercado Financeiro. Bolsa de Valores de São Paulo, BOVESPA, Brasil.

2001 - 2001 Matemática Financeira. Universidade Estadual de Campinas, UNICAMP, Brasil

Formação complementar

Experiência Profissional

Academia de Ensino Superior – Objetivo – Sorocaba, SP03/2007 – AtualComo professor de Cálculo I e Lógica Matemática, leciono para turmas de graduação do curso de Sistemas de Informação – Modalidade Bacharelado. Leciono Física II, Laboratório de Física II e Informática Aplicada na Matemática para turmas de graduação em Licenciatura em Matemática.Academia de Ensino Superior – Objetivo – São Roque, SPTeoria e Metodologia do Ensino da Matemática para turmas de graduação em Pedagogia.

CEDET – Centro de Desenvolvimento Profissional e Tecnológico - Campinas 02/2006 – 12/2006Analista de Redes Sênior e Consultor, Carga horária: 40, Regime: Dedicação exclusiva.

Projeto: BRASILTELECOM - Ministrava cursos de tecnologia para profissionais das áreas de Engenharia, Administração, Economia, Técnicas e Consultorias. Responsável por 11 estados e DF. Tecnologias:SLM, SLA, TCP/IP, MPLS, CARD/TEF, VoIP, xDSL, ATM, Frame Relay, NGN, Modelo OSI, QoS/CoS, VPN e Protocolos.

Analista de Redes em Centrais de Telefonia Celular Comutada da VIVO, operações em 14 Centrais Telefônicas – Sul, Centro Oeste e Bahia. Serviço de terceirização da Motorola.Programa: TeraTerm – Linux.

A idéia de consistência:

Paradoxo do mentiroso (Creta):Considere a sentença(A) Eu estou mentindo.A sentença (A) é verdadeira (V) ou falsa (F).Se V, a pessoa está mentindo, portanto (A) é F!Se F, a pessoa está dizendo a verdade, portanto (A) é V!

Paradoxo do cartão (Jourdain)Um lado do cartão tem a frase:(A) A sentença do outro lado do cartão é verdadeira; No outro lado do cartão, a frase:(B) A sentença do outro lado do cartão é falsa.Implicações:(A) é V implica (B) é V, portanto, (A) é F(A) é F implica (B) é F, portanto, (A) é V!Sentenças (A), (B) são ao mesmo tempo, V e F.

Objetivo da Disciplina

• Desenvolver o raciocínio lógico-matemático.• Proporcionar ao aluno situações de aprendizagem onde possa analisar interpretar, resolver e validar soluções para problemas através do uso de metodologias e técnicas que envolvam elementos básicos de lógica.• Interpretar o enunciado de um problema lógico e representá-lo na forma simbólica.• Desenvolver conhecimentos básicos de lógica matemática que possibilitem a verificação da validade de argumentos.• Orientar o aluno quanto à necessidade da utilização do pensamento lógico no processo de criação de programas e nas diversas áreas da informática.

Lógica

“A lógica é a disciplina que trata das formas de pensamento, da linguagem descritiva do pensamento, das leis de argumentação e raciocínio corretos, dos métodos e dos princípios que regem o pensamento humano.Portanto, não se trata somente de uma arte, mas também de um ciência”.

(Keller e Bastos, 2004)

É preciso desenvolver a lógica ...• “...criar uma coerência e disciplina mental, indispensáveis para qualquertrabalho...”• “A lógica formal é uma ciência que determina as formas corretas(ou válidas) do raciocínio”

(Joseph Dropp).• A lógica e a ciência do raciocínio, pode ser encontrada em todas as ciênciase no dia-a-dia.• Na informática ela tem aplicações, por exemplo,

– arquitetura de computadores - circuitos digitais– em linguagens de programação – semântica e lógica de programação– engenharia de software – especificação e verificação– na inteligência artificial– em bancos de dados – álgebra relacional e SQL– algoritmo – complexidade e expressões

Continuação...

Próxima aula!Obrigado