Categorías · JosEduSol

Autómatas 4
Complejidad Computacional 1
Lenguajes Formales 3
Lógica 2
Malware 6
Matemática 4
Programación 8
Teoría de la Computación 1

Autómatas (4)

Complejidad Computacional (1)

Base del logaritmo en notación Big O

Lenguajes Formales (3)

Lógica (2)

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

Deducción Natural Isabelle Isar
Intérprete para lenguaje de Lógica Proposicional - Parte I

AFD AFN AFN-e Myhill-Nerode

Malware (6)

Matemática (4)

Programación (8)

Teoría de la Computación (1)

Autómatas finitos - Implementación

AFD AFN AFN-e