Print preview Close

Showing 2102 results

Archival description
With digital objects
Print preview View:
Descending
Caderno de anotações

Caderno de anotações

O documento consiste em um caderno de anotações que contém na capa o nome de Andrea Loparic, assim como o título "Reunião de Belo Horizonte - 1962". Além disso, dentre as anotações do documento, tem-se: uma lista de nomes associados a diversos estados do Brasil, anotações e rascunhos relacionados a sua atividade política, desenhos, placares de futebol, anotações para trabalhos relacionados à filosofia, reflexões pessoais e rascunhos de contas.
Legislação básica

Legislação básica

Legislação básica contendo a Lei que institui a Superintendência do Desenvolvimento do Nordeste (SUDENE), assim como o decreto que institui o regulamento dessa. O documento tem a assinatura manuscrita de Andrea Loparic.
Tese

Tese

Versão final da tese de doutorado de Andrea Loparic intitulada 'Definição de conjuntos decidíveis de valorações pela fatorização da linguagem' , orientada por Balthazar Barbosa Filho
Dissertação

Dissertação

Dissertação de Marko Loparic, sob orientação de Dr. Carlos Eduardo Ferreira, apresentada ao Instituto de Matemática e Estatística da Universidade de São Paulo para obtenção do grau de mestre em Matemática Aplicada. O trabalho tem como título "Uma aplicação do método Branch - and Cut a um Problema de Roteamento de Veículos".
Exercício

Exercício

Exercício sobre Cálculo de Predicados de Primeira Ordem. O arquivo digital veio nomeado do produtor como ‘tema_logica_2012_novo’.
Exercício

Exercício

Exercício sobre Cálculo de Predicados de Primeira Ordem. O arquivo digital veio nomeado do produtor como ‘tema_logica_2012[1]’.
Material de aula

Material de aula

Cópia de texto intitulado 'O objeto da lógica' [provavelmente utilizado como material para o mini-curso 'Primeiro mini-curso sobre lógica e epistemologia: lições básicas sobre lógicas proposicionais não clássicas',ministrado por Andrea Loparic e promovido pelo Departamento de Filosofia e pelo Curso de Pós-Graduação em Filosofia da Universidade Federal do Paraná em 2009].
Referência Bibliográfica

Referência Bibliográfica

Referência Bibliográfica do livro ‘Mathematical Logic: A First Course’ de Joel William Robbin. O arquivo digital veio nomeado do produtor como ‘Mathematical_logic_a_first_course.bibtex’.
Capítulo de livro

Capítulo de livro

Capítulo ‘The propositional calculus’ do livro ‘Mathematical Logic: A First Course’ de Joel William Robbin. O arquivo digital veio nomeado do produtor como ‘_robbin_cap_1’.
Tese

Tese

Tese de doutorado de Katarina Ribeiro Peixoto intitulada ‘Subjetividade, ideias e coisas. Estudo crítico e tradução da primeira parte da Lógica de Port-Royal, I-VIII’, defendida em 2012. O arquivo digital veio nomeado do produtor como ‘Peixoto. Subjetividade, ideias e coisas. UFRGS, 2012’.
Artigo de jornal

Artigo de jornal

Artigo para jornal online intitulado ‘Os três brasileiros que refutaram as bases do neoliberalismo’ de Luis Nassif. O arquivo digital veio nomeado do produtor como ‘liberalismo’.
Artigo

Artigo

Artigo intitulado A Revolution in Mathematics? What Really Happened a Century Ago and Why It Matters Today’ de Frank Quinn. O arquivo digital veio nomeado do produtor como ‘rtx120100031p’.
Artigo

Artigo

Artigo intitulado ‘Sobre a integridade ética da pesquisa’ de Luiz Henrique Lopes dos Santos, na época membro da Coordenação Adjunta da Diretoria Científica da FAPESP e Professor Livre Docente, Departamento de Filosofia, FFLCH, USP, para Fapesp. O arquivo digital veio nomeado do produtor como ‘luishenrique’.
Livro

Livro

Livro ‘Eternamente indeciso: Um divertido guia aos teoremas de Gödel’ de Raymond Smullyan e tradução de João Marcos. O arquivo digital veio nomeado do produtor como ‘Eternamente Indeciso’.
Apostila

Apostila

Parte da apostila "Lições de Lógica" de Andrea Loparic intitulada "Introdução à Lógica de Predicados (primeira parte)".
Artigo

Artigo

Artigo de Andrea Loparic intitulado "La Méthode des Validations en Logique Propositionnelle Modale", relacionado ao 1° Encontro Brasileiro de Lógica.
Separata

Separata

Separata de artigo de Andrea Loparic intitulado "Logique Mathématique - Une étude sémantique de quelques calculs propositionnels".
Rascunho

Rascunho

Rascunho do texto intitulado ”A Lógica clássica e as Lógicas Não clássicas”. O arquivo digital veio nomeado do produtor como ‘UFRGS2011’.
Anotações

Anotações

Anotações intituladas “Completude lógica sentencial intuicionista”. O arquivo digital veio nomeado do produtor como ‘_Completude lógica sentencial intuicionista.
Results 1 to 30 of 2102