João Nunes de Souza

João Nunes de Souza é um professor e autor brasileiro com vasta experiência acadêmica. Doutor em Engenharia Elétrica pela UNICAMP e mestre e bacharel em Matemática pela UFMG, ele dedicou sua carreira ao ensino, tendo sido professor titular aposentado da Faculdade de Computação da Universidade Federal de Uberlândia (UFU). Sua obra mais notável, "Lógica para Ciência da Computação e Áreas Afins: Uma Introdução Concisa", publicada em 2020, explora os fundamentos da Lógica Clássica, com aplicações em Ciência da Computação, Matemática, Filosofia, Engenharias e Direito. As pesquisas de Souza também abrangem o ensino de Lógica em Computação e Criptografia.