226297 materialEducativo

textoFiltroFicha
  • Gefällt mir 0
  • Besuche/Aufrufe 7
  • Kommentare 0
  • Speichert in
  • Aktionen

Über diese Ressource...

DbpediaThing
Artículo WikipediaFuente Dbpedia
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic.Works in the more recent abstract algebraic logic (AAL) focus on the process of algebraization itself, like classifying various forms of algebraizability using the Leibniz operator.

Konzeptionelle Karte: Algebraic logic

Exklusive Inhalte für Mitglieder von

D/i/d/a/c/t/a/l/i/a
Anmelden

Mira un ejemplo de lo que te pierdes

Kategorien:

Fecha publicación: 21.4.2015

Kommentieren

0

Möchtest du einen Kommentar abgeben? Registriere dich oder inicia sesión

Mach mit bei Didactalia

Browse among 226297 resources and 560148 people

Regístrate >

O conéctate a través de:

Si ya eres usuario, Inicia sesión

Möchten Sie auf weitere Bildungsinhalte zugreifen?

Einloggen Tritt einer Klasse bei
x

Add to Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Spielhilfe
Juegos de anatomía
Selecciona nivel educativo