Idioma

Biblioteca · RAG de IA e base de conhecimento

Lógica

Livros-texto de lógica formal.

Em breve

GrátisMac, Windows e Linuxpor MOZGII, Inc.

Sobre Lógica.

Conjuntos, demonstrações, lógica proposicional e de primeira ordem, computabilidade e muito mais.

Ideal para

  • Deveres de casa de lógica
  • Técnicas de demonstração
  • Filosofia da matemática

Fonte

Open Logic Project. License: CC BY 4.0.

Feito por MOZGII, Inc.

Você também pode gostar.

Usamos cookies

Coletamos dados de uso anônimos para melhorar o MOZGII e sua experiência. Nenhum dado é coletado sem sua permissão. Política de privacidade · Política de cookies