NAVEGAÇÃO
INÍCIO
GUIAS DE ESTUDOS
MONITORIA
ATENDIMENTO
AVALIAÇÃO
LINKS IMPORTANTES

Introdução a Lógica para Computação

Este é o site da disciplina ICSD20 - Introdução à Lógica para a Computação, obrigatória nos cursos de Engenharia de Computação e de Sistemas de Informação da UTFPR Curitiba, nas turmas ministradas por mim, professor Adolfo Gustavo Serra Seca Neto. Desde o segundo semestre de 2024, não estou minstrando esta disciplina.

A disciplina CAIA013 - Lógica para Computação, do Programa de Pós-Graduação em Computação Aplicada (PPGCA), foi ofertada apenas uma vez de forma espelhada com Introdução a Lógica para Computação, incluindo Pesquisa em Lógica para Computação e Implementação de provadores automáticos de teoremas.

Primeiro vídeo da playlist de Lógica para Computação:

Objetivos

Ao final do curso, a pessoa estudante deve ser capaz de:

Escrever fórmulas bem formadas e analisar semanticamente estas fórmulas utilizando conceitos de sintaxe e semântica de lógica clássica proposicional.
Escrever fórmulas bem formadas e analisar semanticamente estas fórmulas utilizando conceitos de sintaxe e semântica de lógica clássica de predicados.
Demonstrar sequentes utilizando métodos de prova (sistemas dedutivos) para lógica clássica proposicional.
Formalizar e verificar argumentos em lógica clássica proposicional.
Listar diferentes aplicações da lógica na computação.

Ementa

Introdução à Lógica Computacional. Aplicações de Lógica na Computação. Sintaxe e semântica da lógica proposicional. Sistemas dedutivos para lógica proposicional. Formalização e verificação de argumentos em lógica proposicional. Sintaxe e semântica da lógica de predicados.

Referências Básicas

SILVA, F.S.C. D.; FINGER, M.; MELO, A.C.V. D. Lógica para computação - 2ª edição. São Paulo: Cengage Learning Brasil, 2018. 9788522127191. Link para estudantes da UTFPR: https://webapp.utfpr.edu.br/bibservices/minhaBiblioteca?ISBN=9788522127191
HUTH, Michael; RYAN, Mark. Lógica em ciência da computação: modelagem e argumentação sobre sistemas . 2. ed. Rio de Janeiro, RJ: LTC, 2008. x, 322 p. ISBN 9788521616108.
ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo, SP: Nobel, c1975. 203 p. ISBN 852130403X.

Referências Complementares

SPIVEY, Mike. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 1992. Disponível em: https://spivey.oriel.ox.ac.uk/corner/Z_Reference_Manual. Acesso em: 14 set. 2021.
BRODA, Krysia; EISENBACH, Susan; KHOSHNEVISAN, Hessam; VICKERS, Steve. Reasoned Programming. Prentice-Hall, 1994. Disponível em: http://www.doc.ic.ac.uk/pandora/firstyearbook.pdf. Acesso em: 14 set. 2021.
FAVERO, Eloi Luiz. Programação em Prolog: Uma Abordagem Prática. Disponível em: https://docplayer.com.br/25309297-Programacao-em-prolog.html. Acesso em: 14 set. 2021. Universidade Federal do Pará, 2006.
CONIGLIO, Marcelo; CARNIELLI, Walter A.; BIANCONI, Ricardo. Lógica e Aplicações (em andamento). Disponível em: http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf. Acesso em: 14 set. 2021.
SOUZA, João Nunes de. Lógica para ciência da computação: fundamentos de linguagem, semântica e sistemas de dedução. Rio de Janeiro: Campus, 2008.

Sobre mim

Meu nome é Adolfo Neto e sou professor do Departamento Acadêmico de Informática (DAINF) da UTFPR Curitiba desde 2008.

Faço parte da equipe do Programa de Extensão “Emílias - Armação em Bits”, onde coordeno o Emílias Podcast - Mulheres na Computação.

Coordeno também o Fronteiras da Engenharia de Software, o Elixir em Foco e o Professor Adolfo Neto. Faço parte da equipe do Hello, Erlang!