UDESCCiência da Computação: Disciplinas
Lógica e Programação em Lógica (LPL)
Fase: 2ª, CHT = 30, CHP = 30, CHTT = 60
Ementa:
Fundamentos da lógica simbólica: prova de teoremas na lógica proposicional e na lógica de predicados (forma causal). Programação usando uma linguagem baseada na lógica.
Centro de Ciências Tecnológicas - CCT
Rua Paulo Malschitzki, 200 - Campus Universitário Prof. Avelino Marcante - Bairro Zona Industrial Norte - Joinville - SC - Brasil
CEP: 89.219-710 - Fone:(47) 3481-7900
© 2016 - CINF - UDESC/Joinville
Rua Paulo Malschitzki, 200 - Campus Universitário Prof. Avelino Marcante - Bairro Zona Industrial Norte - Joinville - SC - Brasil
CEP: 89.219-710 - Fone:(47) 3481-7900