Idioma

Biblioteca · RAG de IA y base de conocimiento

Lógica

Libros de texto sobre lógica formal.

Próximamente

GratisMac, Windows y Linuxde MOZGII, Inc.

Acerca de Lógica.

Conjuntos, demostraciones, lógica proposicional y de primer orden, computabilidad y más.

Ideal para

  • Tareas de lógica
  • Técnicas de demostración
  • Filosofía de las matemáticas

Fuente

Open Logic Project. Licencia: CC BY 4.0.

Hecho por MOZGII, Inc.

También te puede gustar.

Usamos cookies

Recopilamos datos de uso anónimos para mejorar MOZGII y tu experiencia. No se recopilan datos sin tu permiso. Política de privacidad · Política de cookies