Si realmente quieres perforar algo duro pero reflexivo, entonces busca unos 100 teoremas de Lógica proposicional y Lógica de predicados. Agrúpelos (escriba pruebas formales usando las leyes de inferencia) hasta que pueda aplicar esas pocas leyes de inferencia proposicionales y lógicas de predicado sin esfuerzo, como si estuviera sumando y multiplicando números de un solo dígito. Luego, comience a desarrollar su capacidad para obtener esas pruebas con inferencias más cortas y ajustadas empleando los teoremas más fundamentales y no simplemente usando las reglas de inferencia fundamentales que ha aprendido tan difícil de dominar.
Te convertirás en un mejor período de redacción de pruebas, ya sea álgebra, cálculo, análisis, matemáticas discretas, pruebas de teoría computacional, etc.
Hay fuentes en línea o textos estándar como Logic: Techniques of Formal Reasoning, Kalish & Montague. 1964 que se cargan con ellos para perforar.
Hay solucionadores de teoremas automatizados para la lógica proposicional en línea que también pueden ayudarlo.
- ¿Hay alguna manera fácil de encontrar los dos últimos dígitos de [math] x ^ {y} [/ math], por ejemplo, [math] 2013 ^ {2013} [/ math]?
- ¿Puedo enseñarme matemáticas hasta los niveles universitarios?
- ¿Las redes neuronales artificiales son igual de buenas en matemáticas que las computadoras normales con la misma cantidad de energía?
- ¿Qué temas están cubiertos en matemáticas elementales?
- ¿Qué temas cierran la brecha entre las matemáticas de la escuela secundaria y el aprendizaje automático?
Fue una de las mejores inversiones de mi tiempo de educación en la escuela secundaria. Me ayudó a prepararme para los cursos formales de Matemáticas e Informática en la universidad.