courses‎ > ‎

Lógica Aplicada à Computação

Tópicos:
  • TdC: Teoria dos Conjuntos (revisão)
  • R&I: Recursão & Indução (revisão)
  • DN-LCP: Dedução Natural para a Lógica Clássica Proposicional (LCP)
  • Sem-LCP: Semântica Proposicional Clássica
  • Trad-LCP: Representação do Conhecimento e Argumentação em LCP
  • Sem-LCPO: Sintaxe e Semântica da Lógica Clássica de Primeira Ordem (LCPO)
  • DN-LCPO: Dedução Natural de Primeira Ordem Clássica
  • MetRes-Prolog: Método da Resolução + Prolog
http://www.smbc-comics.com/index.php?db=comics&id=2886


Alguns símbolos que você pode precisar produzir em HTML: (confira tb esta página)
∈ ∋ ∉ ⊂ ⊆ ⊊ ⊃ ⊇ ⊋ ∅
℘ ¬ ∧ ∨ ⊕ → ← ↔ ⊤ ⊥ ∀ ∃ ⇒ ⇐ ⇔ ≡ ≢ ≈ ⊢ ⊬ ⊨ ⊭ ⊩ ⊮ ≥ ≤ ≠ ↦ ⋆ ℵ ∞
α (alfa) β (beta) γ (gama) δ (delta) ε (épsilon) ζ (zeta) η (eta) θ (teta) ι (iota) κ (capa) λ (lambda) μ (mi) ν (ni) ξ (csi) ο (ômicron) π (pi) ρ (rô) σ (sigma) τ (tau) υ (úpsilon) φ (fi) χ (qui) ψ (psi) ω (omega) Γ (Gama) Δ (Delta) Π (Pi) Σ (Sigma)