Bem-vindo ao assunto de Lógica para Computação.
Aqui trataremos do assunto para o nível de graduação em um curso de ciência da computação, licenciatura em computação, sistema da informação, engenharia da computação, etc…
Componente Curricular: Lógica
Créditos: 2
Pré-requisito: –
Co-requisito: –
CH total h/r: 30
Carga horária total h/a: 40
Horas-aula práticas: 20
Horas-aula teóricas: 20;
Ementa: Introdução; Lógica proposicional; lógica dos predicados; Aplicações práticas para computação; Tópicos avançados: lógicas não clássicas. Sistemas dedutivos e técnicas de demonstração.
Referências Básicas:
BISPO, Carlos Alberto Ferreira. CASTANHEIRA, Luiz Batista. Filho, Oswaldo Melo Souza. Introdução à Logica Matemática. 1 edição. Saraiva. São Paulo. 2011.
Murakami, Carlos. Iezzi, Gelson. Fundamentos de Matemática Elementar – Vol. 1 – Conjuntos – Funções – 9a Ed. Atual. São Paulo. 2013.
SOUZA, João Nunes de. Lógica para Ciência da Computação e áreas afins: Uma introdução concisa. 3o edição. Elsevier. Rio de Janeiro. 2015.
Referências Complementares:
FORBELLONE, André Luiz Villar. Lógica de programação: A construção de algoritmos e estrutura de dados.3o edição. Pearson. São Paulo 2005.
BARBIERI FILHO, Plínio. Fundamentos de informática: lógica para computação. LTC. Rio de Janeiro. 2015
ZEGARELLI, Mark. Lógica para leigos. Alta Books. Rio de Janeiro. 2012.
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação: matemática discreta e suas aplicações. LTC. Rio de Janeiro. 2017.
SCHEINERMAN, Edward R. Matemática discreta: uma introdução. Cengage Learning. São Paulo. 2014.