Notas en categoría Matemática Base del logaritmo en notación Big O Complejidad Computacional, Matemática 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 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