Department of Philosophy

Fingerprint Dive into the research topics where Department of Philosophy is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Mathematics

Abstract Data Types
Algebraic Specification
Arbitrary
Assign
Axioms
Calculus
Characterization Theorem
Circle
Classical Logic
Collision
Completeness
Computational Model
Computer Science
Corollary
Correctness
Correspondence
Counterexample
Cryptographic Protocols
Cryptography
Cut-elimination
Diagram
Diffie-Hellman
Drugs
Euler
Finite Models
First-order
First-order Logic
Formal Analysis
Formal Model
Formal Semantics
Fragment
Game
Generalise
Graph in graph theory
Higher Order
Higher-order Logic
Hilbert
Inclusion
Independence Results
Inference Rules
Intuitionistic Logic
Knowledge Acquisition
Labeled Trees
Linear Logic
Logic
Modal Logic
Multiplicative
Natural Deduction
Natural number
Normalization
Ontology
Paradigm
Pattern Matching
Phase Space
Polynomial time
Predicate Logic
Probabilistic Methods
Probability Distribution
Proof Nets
Proof Search
Proposition
Query
Real-time
Reasoning
Recursion
Refinement
Resources
Schema
Security Analysis
Security Protocols
Semantics
Soundness
Specification Languages
Stochastic Processes
Strictly positive
Strong Normalization
Term
Theorem
Trace
Type Systems

Engineering & Materials Science

Abstract data types
Cryptography
Demonstrations
Design of experiments
Drug interactions
Experiments
Human robot interaction
Knowledge acquisition
Linguistics
Logic programming
Network protocols
Ontology
Pattern matching
Polynomials
Probability distributions
Random processes
Robots
Semantics
Specification languages
Students
Substitution reactions
Syntactics