• Notas
    Archivo Categorías Tags Buscar

  • Autómatas finitos - Equivalencia AFD-AFN

     Autómatas, Lenguajes Formales AFD AFN

  • Autómatas finitos - Implementación

     Autómatas, Teoría de la Computación AFD AFN AFN-e

  • Base del logaritmo en notación Big O

     Complejidad Computacional, Matemática

  • 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

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

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

  • Lema de Arden

     Autómatas, Lenguajes Formales AFD AFN

  • Project Euler - Problema 1: Múltiplos de 3 y 5

     Matemática, Programación Project Euler

  • Project Euler - Problema 2: Números de Fibonacci pares

     Matemática, Programación Project Euler

  • Prueba de concepto - Virus: x86/DOS, COM, Overwriting

     Malware, Programación 16-bit ASM-x86 DOS PoC TASM Virus

  • Prueba de concepto - Virus: x86/DOS, COM, Overwriting, Residente TSR

     Malware, Programación 16-bit ASM-x86 DOS PoC TASM Virus

José E. Solsona   •   2017-2020

Creative Commons License

Powered by Jekyll.