Trabalhos

Grupos e trabalhos selecionados

No.	Trabalho	Aluno	R	A
1	Falácias	Leonardo	x
2	Lógica temporal	Bruno	x
3	Lógica modal	Matheus	x	x
4	Lógica fuzzy	Anderson	x
5	Teorie de conjuntos	Peterson	x	x
6	Satisfabilidade	Rafael	x	x
7	Lógica intuicionista	Danhuri	x	x
8	Lógica multi-valorada	Gabriel

#Escolhas: 8/11.

1) Como foi definida a ordem? Aleatoriamente, em tempo linear, usando o Fisher-Yates shuffle.

2) Posso apresentar num outro dia? Sim, se um outro grupo concorda trocar a posição.