Máster oficial en lógica en la UB

Con la colaboración del IIIA del CSIC

Lógica pura y aplicada

Universitat de Barcelona - Màsters Oficials
En Barcelona (España)

4.185€ - ($2.879.653)
IVA inc.

Información importante

  • Master oficial
  • Barcelona (España)
  • Duración:
    2 Años
  • Cuándo:
    Octubre
Descripción

Emagister.com te presenta este Máster Oficial de Lógica Pura y Aplicada, diseñado y conducido por la Universitat de Barcelona (UB). Un plan de estudios que cuenta con un claro propósito de ofrecer una sólida formación en lógica de tipo general, tanto en la faceta pura como aplicada. Una docencia que permitirá a sus alumnos emprender investigación en diversos ámbitos de la lógica.

Máster oficial interuniversitario UB-UPC de dos cursos académicos de duración (90 ECTS) impartido en lengua inglesa por la Facultad de Filosofía de la Universidad de Barcelona como coordinadora con la participación de la Universidad Politécnica de Cataluña. Se propone fundamentar en todos los aspectos la lógica avanzada, tanto pura como aplicada.

Los estudios se imparten en modalidad presencial en la Facultad de Filosofía. Para tu avance formativo dispondrás de un material didáctico de calidad, con temarios totalmente actualizados, e impartido por un profesorado de amplia experiencia en el sector. Las clases se imparten, en su totalidad, en inglés. Continúa en emagister.com para descubrir toda la información que necesitas sobre este curso y u otros similares.

Información importante

Requisitos: Titulación oficial de grado o equivalente en matemáticas, ingeniería informática y filosofía teórica. B1 de inglés

Titulación oficial: Máster oficial universitario - Ministerio de Educación

Orientación académica y profesional

Instalaciones

¿Dónde se da y en qué fecha?

comienzo Ubicación
Octubre
Barcelona
Travessera de les Corts, 131-159, 08028, Barcelona, España
Ver mapa

¿Qué aprendes en este curso?

Álgebra
Lógica matemática
Lógica
Computación
Lógica no clásica
Lógica algebraica abstracta
Algebra universal
Desarrollo de lógica formal
Advanced Model Theory
Modal Logic

Temario

Fundamental courses (Compulsory)
  • Basic Model Theory
  • Basic Set Theory
  • Computability
  • Mathematical Logic
  • Non-Classical Logics
Optional courses
  • Abstract Algebraic Logic
  • Advanced Model Theory
  • Algebraic Logic
  • Combinatorial Set Theory
  • Complexity
  • Introduction to Mathematical Logic
  • Many-Valued Logics
  • Modal Logic
  • Models of Set Theory
  • Order, Lattices and Boolean Algebras
  • Proof Theory, and Automated Theorem Proving
  • The Development of Formal Logic
  • Universal Algebra

Información adicional

El precio del máster para estudiantes extranjeros no residentes en España, que no sean nacionales de estados miembros de la UE, Islandia, Noruega, Liechtenstein, Suiza o Andorra es de 82 € por crédito ECTS. Curso 2013-2014.