Notas en categoría Lógica

• Intérprete para lenguaje de Lógica Proposicional - Parte I

   Autómatas, Lenguajes Formales, Lógica AFD AFN AFN-e Myhill-Nerode

• Demostración asistida: Todo número natural compuesto n tiene un divisor primo menor o igual que sqrt(n)

   Lógica, Matemática Deducción Natural Isabelle Isar