Pessoal.
O horário do seminário LIAMF vai muito provavelmente mudar neste
semestre. Mas no primeiro seminário deste semestre teremos um convidado da Suiça, o Jean-Yves, que falará no horário dos últimos semestres, segunda-feira às 16h.
O seminário será EM PORTUGUÊS.
Marcelo
-------------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais
(LIAMF)
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-------------------------------------------------------------------------------
Título: Universal Logic : Towards a General Theory of Logics
Palestrante: Jean-Yves Béziau, Swiss National Science Foundation
Data: segunda-feira, 22/08/2005, 16h
Local: a ser anunciado
Abstract :
Universal Logic is a general theory of logics considered as mathematical structures in the same sense as universal algebra is a general theory of algebraic structures. In this talk I will present the main concepts, ideas and problems of universal logic.
Todos são benvindos!
Seminário do grupo de Lógica, Inteligência Artificial e Métodos Formais
por Leliane Nunes de Barros -
Número de respostas: 0