Gran Lógico
  • Apunte
  • Guias
  • Videos
  • Lenguaje \(\mathcal{S}^{\Sigma }\)
  • Notación decimal sin 0
  • Tómbola
  • Login

Guias

En esta sección encontrarás guías de ejercicios para practicar y mejorar tus habilidades en lógica matemática.

Guias de Lenguajes y Computabilidad

  • Guía 1: Notacion y conceptos basicos
  • Guía 2: Dos codificaciones importantes
  • Guía 3: Procedimientos efectivos
  • Guía 4: El paradigma de Turing
  • Guía 5: Funciones \(\mathcal{\Sigma}\)-recursivas primitivas
  • Guía 6: Minimizacion y funciones \(\mathcal{\Sigma}\)-recursivas
  • Guía 7: El paradigma imperativo de Neumann
  • Guía 8: Batallas entre paradigmas, Tesis de Church
  • Guía 9: Resultados basicos presentados en paradigma recursivo

Guias de Lógica

  • Guía 0: Notacion y conceptos basicos
  • Guía 1: Relaciones de equivalencia
  • Guía 2: Posets
  • Guía 3: Reticulados par
  • Guía 4: Reticulados terna
  • Guía 5: Reticulados acotados y Reticulados complementados
  • Guía 6: Reticulados cuaterna y su lenguaje elemental
  • Guía 7: Estructuras y su lenguaje elemental asociado
  • Guía 8: Programa de logica matematica
  • Guía 9: Modelo matematico de la sintaxis elemental
  • Guía 10: Modelo matematico del valor de verdad de una formula
  • Guía 11: Notacion declaratoria
  • Guía 12: Teorias de primer orden
  • Guía 13: El algebra de Lindenbaum
  • Guía 14: Teorema de completitud

Lenguaje \(\mathcal{S}^{\Sigma }\)

Entorno para trabajar con el lenguaje \(\mathcal{S}^{\Sigma }\) creado por Gabriel Cerceau:

Notación decimal sin 0

En el siguiente link encontrarán un programa hecho por Guido Ivetta que hace lo siguiente:

- Dado un número expresado en notación clásica decimal da la forma de pronunciar o leer la palabra que lo representa en notación decimal sin 0

Ir al programa