Unicamp Diretoria Acadêmica

HF910 - Seminário de Programa I - 1S/2026 Imprimir

Pós-Graduação

Informações da disciplina

Ementa:

A ser disponibilizada no período do oferecimento da disciplina.

Bibliografia:

- Algebraic foundations of many-valued reasoning. Roberto L. O. Cignoli, Itala M.

Loffredo D'Ottaviano and Daniele Mundici. Reprinting of the first edition (2000) by Springer

Science & Business Media, 2013. Trends in Logic, vol. 2, 223p.

- Lectures at Unicamp in 1975 – Alfred Tarski. Leandro, Suguitani, Jorge Petrúcio Viana and Itala M. Loffredo D'OttavianoCampinas: Editora Unicamp, 2016, Série Unicamp Ano 50, vol. 30, Coleção CLE, vol. 76, 157p.

- Paraconsistent Logic: Consistency, Contradiction and Negation. Walter Carnielli and

Marcelo Esteban Coniglio. Springer; Edição: Softcover reprint of the original 1st ed. 2016

(30 de maio de 2018) ISBN-10.

Ano de Catálogo: 2026

Créditos: 1

Turma: A Vagas: 20

Idioma de oferecimento: Português

Tipo Oferecimento: Regular

Local Oferecimento:

Horários/Salas:

  • Quarta 16:00 - 17:00

Docentes:

  • Marcelo Esteban Coniglio

Reservas:

Não possui reservas.

Horários

Hora Segunda Terça Quarta Quinta Sexta Sábado
07:00
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00 A -
17:00
18:00
19:00
20:00
21:00
22:00
23:00

Compartilhar: