Browsing by Subject Lógica - Estudo e ensino

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  
Showing results 1 to 20 of 30  next >
PreviewIssue DateTitleAuthor(s)AdvisorType
1997Traduções conservativasFeitosa, Hercules de AraujoD'Ottaviano, Itala Maria Loffredo, 1944-TESE
2003O transcendental e a etica no pensamento primeiro WittgensteinScherer, FernandoMarques, José Oscar de Almeida, 1949-DISSERTAÇÃO
2003Crenças não ditas, ditos de crençasCunha, Denise Maria Maldonado daCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2008A semantica algebrica para as logicas modais e seu interesse filosoficoGorsky, Samir, 1981-Carnielli, Walter Alexandre, 1952-DISSERTAÇÃO
2002Para uma teoria de traduções entre logicas cumulativasScheer, Mauro CesarD'Ottaviano, Itala Maria Loffredo, 1944-DISSERTAÇÃO
2006A escada de Wittgenstein : as relações entre mundo, linguagem e misticismo no tractatusPeres, Carolina ViolanteMoreno, Arley Ramos, 1943-DISSERTAÇÃO
1998A natureza da proposição logica em Bertrand Russell entre os anos 1903-1956Aguilar Verastegui, Rosa de LourdesWrigley, Michael Beaumont, 1953-; Wrigley, Michael B.DISSERTAÇÃO
2008Entre o racional e o justo : a logica e as sentenças judiciaisGomes, Fabricio VasconcelosCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
1998O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes CnCastro, Milton Augustinis deLungarzo, Carlos Alberto, 1942-DISSERTAÇÃO
2004Sobre o calculo diferencial paraconsistente de da CostaCarvalho, Tadeu Fernandes deD'Ottaviano, Itala Maria Loffredo, 1944-TESE
1995Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informaçãoJulia, Rita Maria da SilvaAndrade Netto, Marcio Luiz de, 1947-; Netto, Marcio Luiz AndradeTESE
2004Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da CostaCastro, Milton Augustinis deD'Ottaviano, Itala Maria Loffredo, 1944-TESE
1988Normalização e normalização forte para a logica classica de primeira ordemMassi, Cosme Damião BastosPereira, Luiz Carlos P. D; Pereira, Pereira Carlos P. D.DISSERTAÇÃO
2004O ensino de algebra numa perspectiva logico-historica : um estudo das elaborações correlatas de professores do ensino fundamentalSousa, Maria do Carmo deMoura, Anna Regina Lanner de, 1945-TESE
2002A inter-relação forma e conteudo no desenvolvimento conceitual da fraçãoCatalani, Erica Maria ToledoMoura, Anna Regina Lanner de, 1945-DISSERTAÇÃO
2006Da computação paraconsistente a computação quanticaAgudelo, Juan Carlos AgudeloCarnielli, Walter Alexandre, 1952-DISSERTAÇÃO
1984Metodologia da descoberta cientifica e inteligencia artificialGonzales, Maria Eunice QuiliciLoparic, Zeljko, 1939-DISSERTAÇÃO
2008Algebra de relações : uma axiomatização tarskianaSuguitani, Leandro Oliva, 1976-D'Ottaviano, Itala Maria Loffredo, 1944-DISSERTAÇÃO
1993J. M. Keynes e a logica da politica economicaSchwartz, Gilson, 1960-Belluzzo, Luiz Gonzaga de Mello, 1942-; Belluzo, Luiz Gonzaga de MelloTESE
1996O buraco negro do valor de verdade : a semantica dos predicados vagosMoura, Heronides Maurílio de MeloIlari, Rodolfo, 1943-TESE