Lógica Computacional

Aula 00

Prof. Franklin Bonfim


DPO SESC e Senac Goiás
Chefe Adjunto Sesc e Senac Goiás
MBA Gestão de Projetos - FGV
Esp. Tecnologia de Informação para Estratégia de
Negócios - IPOG
Gestão da Tecnologia da Informação.
Gestão em Análise e Desenvolvimento de Sistemas
Hackathons
1º lugar Uberhack 2018;
2ºLugar Hackathon da Cidade de Goiânia 2019
3º lugar Desafio Agro 2018;
3º Lugar no desafio Uber de Mobilidade Urbana
2017
Embaixador IoT Weekend - 2021
Embaixador da Inovação 2020
Embaixadoor Techstars Startup Weekend 2022
Embaixador CASE - 2022
Embaixador ABStartup - 2023
Embaixador NEON - Nordeste 2023
LÍDER | Organizador
GDG Goiânia |
Líder e Co-Fundador Black Stars
Inclusão e Diversidade - StartupGO
Nasa Space Apps - Goiás
Mentor
Desafio da Industria 2018 ;
Nasa SpaceApps Challenger-2019;
Nasa SpaceApps Challenger – COVID19 -2020
Jurado
Ideathon do Agro, Desafio Agrostartup - Campo Lab
Ideathon Hub Goiás - 2024
Comunidades Eventos Hubs de Inovação
@blackStars Nasa Space Apps HUB Goiás - St. Universitário
@startupGO HUB Cerrado -Jr Atlântico
DevFest
@gdggoiania CampoLab - St. Sul
StartupWeekend
@mulheresGO CEI - UFG - Goiânia
@awsgoiania
Desafio Agro Startup Incubadora 3D - Ap Goiânia
@ixda.goiania Join Community UlbraTech - Itumbiara
@Override Campus Party Goiás BEETECH - Jataí
@porteratech Devops YpeTec - Rio Verde
 Lógica Computacional
Ementa:
Conjuntos, relações e funções.
Proposições e conectivos.
Operações Lógicas sobre proposições.
Construção de tabelas-verdade.
Tautologias, contradições e contingências.
Implicação Lógica.
Equivalência Lógica.
 Lógica Computacional
Ementa:
Tableaux Semântico. Sentenças abertas e quantificadores.
Lógica de Predicados.
Álgebra Booleana
 Lógica Computacional
Bibliografia Básica

DAGHLIAN, Jacob. Lógica e Álgebra de Boole. 4.ed. São Paulo (SP): Atlas 1995
CORREA DA SILVA, Flávio Soares. Lógica para Computação. São Paulo: Thompson,
2006.
SOUZA, J. N., Lógica para a ciência da computação. Rio de Janeiro: Elsevier, 2006.
 Lógica Computacional
Bibliografia Complementar
ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. 18. ed. São Paulo (SP):
Nobel, 1995. 203 p.
DANTE, Luiz Roberto. Matemática 1: contexto e aplicações : ensino médio e preparação
para a educação superior. 2. ed. São Paulo (SP): Ática, 2001. 367 p
GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação: um
tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro (RJ): LTC, 2004.
HAIGHT, M. R. A Serpente e a raposa: uma introdução à lógica. São Paulo: Loyola, c2003.
483 p.
MONTEIRO, Mário A. Introdução à organização de computadores. 5. ed. Rio de Janeiro
(RJ): LTC, 2007
Avaliações:
N1 - 05/04
N2 - 31/05
N3 - 21/06
Formal (10 pontos)
15 questões -> 10 a escolha
Processual (2 pontos)
Participação em aula, Kahoot(exercícios) (1,0 pontos) (últma e priemira)
Participação em eventos (Inovação, Tecnologia e Empreendedorismo) (0,5)
Apresentação de projeto (0,5)
Muito obrigado!

@fkbonfim