A disciplina de Fundamentos Matemáticos da Computação 1 (FMC1) articula o pensamento lógico-formal com a prática computacional, servindo como a principal base teórica do curso. Seu conteúdo permite desvendar os princípios por trás das operações de software e hardware, aprofundando-se na lógica matemática como ferramenta para o desenvolvimento e validação de algoritmos. Trata-se de um conhecimento que serve como base para as aplicações que rodeiam toda a tecnologia, desde o desenvolvimento de software e a ciência de dados até a segurança cibernética e a inteligência artificial. O objetivo central é cultivar no estudante a competência para a modelagem formal e a resolução de problemas complexos, entregando domínio sobre os conceitos teóricos essenciais que definem um cientista da computação.