Disciplinas:
Algoritmos e Estrutura de Dados 1
Arquitetura de Computadores 7
Banco de Dados 4
Engenharia de Software 2
Gerência de Projetos 3
Governança de TI 4
Inglês 10
Noções de Informática 1
Português 10
Programação 5
Raciocínio Lógico 4
Redes de Computadores 9
Segurança da Informação 5
Sistemas Operacionais 5
Considerando os predicados: chefe(x) significando que x é chefe, departamento(x) significando que x é um departamento e chefia (x, y) significando que x chefia y, a restrição “Todo chefe chefia um departamento” pode ser expressa pela seguinte fórmula da lógica de predicados de primeira ordem:
