SOCIEDADE BRASILEIRA DE MATEMÁTICA APLICADA E COMPUTACIONAL

V ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTATIONAL

MINI-SIMPÓSIO: Lógicas e Modelagens Conceituais

COORDENADORES: Dra. ÂNGELA MARIA PAIVA CRUZ – DFIL/UFRN

Dr. DANIEL DURANTE PEREIRA ALVES – DFIL/UFRN,

Dr. JOSÉ EDUARDO DE ALMEIDA MOURA   - FARN. 

QUARTA-FEIRA, 19/10/2005

Horário: 14:00 – 15:30

1 - Da não-complexidade dos sistemas biológicos

Maria Cristina Dal Pian

Liga Norte Riograndense Contra o Câncer

2 – Ambientes colaborativos on-line: o MOODLE como ambiente educativo baseado no sócio-construtivismo

Antonio Júlio Garcia Freire

Universidade do Estado do RN/Programa de Pós-graduação em Filosofia/UFRN

Horário: 17:50 – 19:20

3 - O Mundo de Tarski e o estudo da Lógica

David Gomes da Costa, Flammarion Gomes Mendonça

Base de Pesquisa “Lógica, Conhecimento e Educação” – UFRN

4 - Método Tableau para a Lógica Clássica

Cláudia Fernanda Oliveira Kiermes Tavares

Departamento de Informática e Matemática Aplicada - UFRN

QUINTA-FEIRA, 20/10/2005

Horário: 14:00 – 15:30

5 - Utilização de Softwares na Construção de Provas Sintáticas em Sistemas de Lógica Clássica de Primeira Ordem
Stanley Kreiter Bezerra Medeiros, Patrick Terrematte

Base de Pesquisa “Lógica, Conhecimento e Educação” - UFRN

6 – Lógicas sem negação

Daniel Durante Pereira Alves

Departamento de Filosofia – UFRN

Horário: 17:00 – 17:45

7 - Uma reflexão sobre a "semântica prova-teórica" ("proof-theoretic semantics")

Ruy de Queiroz

Centro de Informática - UFPE

SEXTA-FEIRA, 21/10/2005

Horário: 14:00 – 15:30

8 - O estatuto dos enunciados matemáticos segundo Wittgenstein

Guido Imaguire

Departamento de Filosofia - UFC

9 - Towards the Foundations of Discourse Pragmatics

Daniel Vanderveken

University of Quebec at Trois-Rivières 

Horário: 17:00 – 17:45

10 - A intencionalidade na comunicação

Candida Jaci de Sousa Melo

University of Quebec at Montreal