<--- Back to Details
First PageDocument Content
Semantics / Cognition / Learning theory / Cognitive science / Prototype theory / Categorization / Type theory / Category of being / Theory / Exemplar theory / Concept learning
Date: 2016-02-23 08:51:49
Semantics
Cognition
Learning theory
Cognitive science
Prototype theory
Categorization
Type theory
Category of being
Theory
Exemplar theory
Concept learning

Concepts and Categories Concepts and Categories II Informatics 1 CG: Lecture 16

Add to Reading List

Source URL: www.inf.ed.ac.uk

Download Document from Source Website

File Size: 2,56 MB

Share Document on Facebook

Similar Documents

Algebra / Abstract algebra / Mathematics / Representation theory / Lie algebras / Matrices / KacMoody algebra / AuslanderReiten theory / Cartan matrix / Symmetric matrix / Sheaf / Semisimple Lie algebra

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß

DocID: 1xW2r - View Document

Logic / Mathematical logic / Mathematics / Boolean algebra / Complexity classes / Metalogic / Model theory / True quantified Boolean formula / Satisfiability / FO / PSPACE-complete / Well-formed formula

Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions

DocID: 1xW1P - View Document

Software engineering / Computing / Programming paradigms / Evaluation strategy / Functional programming / Computer programming / Concurrent programming languages / Functional reactive programming / Reactive programming / Computer architecture / Dataflow programming / Dataflow

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

DocID: 1xVYc - View Document

Algebra / Abstract algebra / Mathematics / Algebraic geometry / Automorphic forms / Moduli space / Hitchin system / Stack / Langlands program / Drinfeld module / Fundamental lemma / ArthurSelberg trace formula

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)

DocID: 1xVTT - View Document

Linear temporal logic / Temporal logic / Symbol / Stochastic game / Mathematical optimization / Markov decision process / Markov chain / Probability

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

DocID: 1xVM0 - View Document