Introducción a la Lógica Intensional Lógica Temporal Proposicional Apuntes de Clase : Marzo 26, 2012

Source URL: www.filosoficas.unam.mx

Abstraction Classes in Software Design

Source URL: www.eden-study.org

• Software architecture
• Object-oriented programming
• Software design
• Abstraction
• Intensional statement
• Information hiding
• Computer programming
• Computer program
• Requirement
• Computing
• Programming paradigms
• Software engineering

Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract)

Source URL: strictlypositive.org

• Functional programming
• Mathematical logic
• Theoretical computer science
• Function
• Corecursion
• Coinduction
• F-coalgebra
• Anamorphism
• Universal quantification
• Category theory
• Mathematics
• Declarative programming

PDF Document

Source URL: til.phil.muni.cz

• Philosophical logic
• Semantics
• Meaning
• Philosophy of language
• Intensional logic
• Sense and reference
• Function
• Transparent Intensional Logic
• Gottlob Frege
• Logic
• Philosophy
• Analytic philosophy

PDF Document

Source URL: comet.lehman.cuny.edu

• Philosophical logic
• Predicate logic
• Non-classical logic
• Semantics
• Interpretation
• Kripke semantics
• First-order logic
• Modal logic
• Intensional logic
• Logic
• Mathematical logic
• Model theory