|
|
| 1° período | |||
| Código: BiSuCOM.526 |
Nome da disciplina: Lógica |
||
| Carga horária total: 30 h |
Abordagem metodológica: Teórica |
Natureza: Obrigatória |
|
| Carga horária teórica: 30 h |
Carga horária prática: Nenhuma |
||
| Ementa: Linguagem e semântica da lógica proposicional. Tabelas verdade. Relações de Consequência. Corretude. Completude. Decidibilidade. Formas normais. Sistemas dedutivos. Linguagem e semântica da lógica de predicados. Prova automática de teoremas. Programação lógica. Lógicas não clássicas. |
|||
|
Objetivo(s): Objetivo Geral: Avaliar a sintaxe, a semântica e as propriedades da lógica proposicional e da lógica de predicados predicados, bem como aplicar equivalências, transformações, inferências e deduções lógicas. Objetivos Específicos: Utilizar a sintaxe e a semântica da lógica proposicional. Produzir tabelas verdades para determinar o valor de fórmulas. Calcular conversões de fórmulas paras as formais normais. Demonstrar inferências e deduções lógicas. Elaborar demonstrações considerando aspectos computacionais. Utilizar a sintaxe e a semântica da lógica de predicados. Compara lógica clássica com lógicas não clássicas. |
|||
|
Bibliografia básica: SOUZA, João Nunes de. Lógica para ciência da computação: Uma introdução concisa. 2. ed. Rio de Janeiro: Elsevier, 2008. 220 p. ISBN 9788535229615. Acervo: 005.1 S726l. DELANCEY, Craig. A Concise Introduction to Logic. 1. ed. New York: Suny, 2017. 223 p. ISBN 978193241420. Disponível em <https://pergamum.ifmg.edu.br/acervo/93655/>. Acesso em: 16 de Setembro de 2024. HUGTENBURG, Stefan; YORKE-SMITH, Neil. Delftse Foundations of Computation . 2. ed. Delft: Delft University of Technology, 2022. 217 p. ISBN 978-94-6366-598-8. Disponível em <https://pergamum.ifmg.edu.br/acervo/108000>. Acesso em: 18 de Setembro de 2024. |
|||
|
Bibliografia complementar: HUTH, Michael; RYAN, Mark. Lógica em ciência da computação: Modelagem e argumentação sobre sistemas. 2. ed. Rio de Janeiro: LTC, 2008. 322 p. ISBN 9788521616108. Acervo: 005.1 H979l. SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. 1. ed. São Paulo: Cengage Learning, 2010. 234 p. ISBN 9788522105175. Acervo: 005.1 S586l. KNACHEL, Matthew. Fundamental Methods of Logic. 1. ed. Wisconsin: UWM Libraries, 2017. 249 p. ISBN 978-0-9961502-2-4. Disponível em <https://pergamum.ifmg.edu.br/acervo/93662>. Acesso em: 16 de Setembro de 2024. BERTOLINE, Cristiano; CUNHA, Guilherme Bernardino da; FORTES, Patrícia Rodrigues. Lógica Matemática. 1. ed. Santa Maria: UFSM, NTE, 2017. 85 p. ISBN 9788583411840. Disponível em <https://pergamum.ifmg.edu.br/acervo/108464>. Acesso em: 18 de Setembro de 2024. MAGNUS, P. D.; BUTTON, T.; LOFTIS, R.; TRUEMAN, R.; THOMAS-BOLDUC, A.; ZACH, R.; DURANTE, D.; MEDEIROS, M. d. P. N. d.; PEREIRA, R. G. d. A.. Para Todxs Natal: Uma introdução à lógica formal. 1. ed. Natal: UFRN, 2022. 457 p. ISBN 978-65-995185-3-9. Disponível em <https://pergamum.ifmg.edu.br/acervo/108466>. Acesso em: 18 de Setembro de 2024. |
|||