Mostrando 1 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão
Visualização em ficha Visualização em tabela
7 resultados com objetos digitais Exibir resultados com objetos digitais
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT016 · Item · 1978
Parte de Andrea Maria Altino de Campos Loparic
Cópia do artigo escrito por Andrea Loparic e Richard Routley, publicado na "Studia Logica", intitulado "Semantical Analysis of Arruda-Da Costa P Systems and Adjacent Non-Replacement Relevant Systems".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT017 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantical analysis of Arruda-Da Costa P systems and adjacent non-replacement relevant systems".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT022 · Item · 1980
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantics for quantified relevant logics without replacement", publicado na Proceedings of the Third Brazilian Conference on Mathematical Logic.
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT014 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Andrea Loparic intitulado "Semantical Investigation of Arruda-Da Costa P Systems and of Adjacent Relevant Systems".
Atestado
BR SPCLEARQ AMACL-AP-APesq-EA-IT003 · Item · 1976-05-20
Parte de Andrea Maria Altino de Campos Loparic
Atestado de participação de Andrea Loparic no III Simpósio Latino Americano de Lógica Matemática.
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
BR SPCLEARQ FNCAC-Cp-IT15 · Item · 1970-01-01
Parte de Newton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
BR SPCLEARQ FNCAC-Cp-IT17 · Item · 1970-01-27
Parte de Newton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms) Newton Carneiro Affonso da Costa
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
BR SPCLEARQ FNCAC-Cp-IT16 · Item · 1970-02-07
Parte de Newton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)
Carta de Leopoldo Nachbin
Carta de Leopoldo Nachbin
BR SPCLEARQ FNCAC-Cp-IT50 · Item · 1980-10-20
Parte de Newton Carneiro Affonso da Costa
Carta de Leopoldo Nachbin a NCAC agradecendo e parabenizando pela cópia de parte de carta de Roberto Wolf, e parabenizando a Ayda Ignez Arruda por assumir a direção do IMECC/Unicamp. S.l., 20 de out. de 1980. 1p.
Estudo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT018 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Estudo de Andrea Loparic sem título sobre cálculos proposicionais com base nos estudos de Ayda Ignez Arruda e Newton Carneiro Affonso da Costa.
Estudo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT019 · Item · 1978
Parte de Andrea Maria Altino de Campos Loparic
Cópia de estudo de Andrea Loparic sem título sobre cálculos proposicionais com base nos estudos de Ayda Ignez Arruda e Newton Carneiro Affonso da Costa.
Fotografia
BR SPCLEARQ FNCAC-I-F-0027 · Item · s.d.
Parte de Newton Carneiro Affonso da Costa
Mesa de [abertura/palestrantes] com ?, Newton Carneiro Affonso da Costa, ?, Ubiratan D'Ambrósio, ?, Ayda Ignez Arruda e platéia
Fotografia
BR SPCLEARQ FNCAC-I-F-0029 · Item · s.d.
Parte de Newton Carneiro Affonso da Costa
Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa
Fotografia
BR SPCLEARQ FNCAC-I-F-0030 · Item · s.d.
Parte de Newton Carneiro Affonso da Costa
Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa
Programa
BR SPCLEARQ AMACL-AP-APesq-EA-IT007 · Item · 1981-12-01 - 1981-12-03
Parte de Andrea Maria Altino de Campos Loparic
Programa do V Encontro Brasileiro de Lógica, promovido pelo Centro de Lógica, Epistemologia e História da Ciência.
Programa
BR SPCLEARQ AMACL-AP-APesq-EA-IT004 · Item · 1976-07-11 - 1976-07-17
Parte de Andrea Maria Altino de Campos Loparic
Programa do III Simpósio Latino-Americano de Lógica Matemática.
Separata
BR SPCLEARQ AMACL-AP-APesq-PIT-IT025 · Item · 1980
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Elias Humberto Alves intitulado "The Semantics of the Systems Cn of Da Costa", publicado na Proceedings of the Third Brazilian Conference on Mathematical Logic.
Separata
BR SPCLEARQ AMACL-AP-APesq-PITER-IT004 · Item · 1977-01-31
Parte de Andrea Maria Altino de Campos Loparic
Separata de artigo escrito por Ayda Ignez Arruda e Newton Carneiro Affonso da Costa intitulado "Logique Mathématique- Une semantique pour le calcul C1"".
Studia Logica
BR SPCLEARQ AMACL-AP-APesq-PIT-IT015 · Item · 1978
Parte de Andrea Maria Altino de Campos Loparic
Publicação intitulada "Studia Logica", da Polish Academy of Sciences Institute of Philosophy and Sociology, com artigo escrito por Andrea Loparic e Richard Routley intitulado "Semantical analysis of Arruda-Da Costa P systems and adjacent non-replacement relevant systems".
Carta de AIA para Ruy Carlos de Camargo Vieira
BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT047 · Item
Parte de Ayda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando o cancelamento do auxílio n° 83/038.8-1 para participar do congresso em Caracas.
Relatório científico
BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT057 · Item
Parte de Ayda Ignez Arruda
Relatório científico de AIA relativo à visita do professor Jerzy Kotas.
Carta de AIA para William Saad Hossne
BR SPCLEARQ FAIA-AA-Fapesp-DRAMM-IT071 · Item
Parte de Ayda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando bolsa de mestrado para Regina Aparecida Munhoz Moreno. Ass.: Ayda Ignez Arruda
Carta de Paul Weingartner
BR SPCLEARQ FAIA-AA-DCS-IT102 · Item · 1983-02-28
Parte de Ayda Ignez Arruda
Carta de Paul Weingartner, presidente do comitê organizador local, para AIA informando sobre os trabalhos a serem apresentados no Congresso de Salzburgo. Ass.: Paul Weingartner Ayda Ignez Arruda
Telex de AIA
BR SPCLEARQ FAIA-AA-DCS-IT107 · Item · 1983-02-23
Parte de Ayda Ignez Arruda
Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda Ayda Ignez Arruda
Carta de Ayda Ignez de Arruda
BR SPCLEARQ FAIA-AA-DCS-IT110 · Item · 1983-03-03
Parte de Ayda Ignez Arruda
Carta de AIA para Paul Weingartner comunicando o envio da inscrição para o Congresso, sua reserva de hotel e pedindo informações sobre o pagamento de suas despesas. Ayda Ignez Arruda
Processo 1234/81
BR SPCLEARQ FAIA-AAdm-IT130 · Item · 1981-03-20
Parte de Ayda Ignez Arruda
Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC. Ayda Ignez Arruda
Ofício C.V.47/00116
BR SPCLEARQ FAIA-AAdm-IT132 · Item · 1981-12-22
Parte de Ayda Ignez Arruda
Ofício C.V.47/00116 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Bacharelado na Unicamp em 1982. Ass.: Setembrino Petri Ayda Ignez Arruda
Ofício GR 985/83
BR SPCLEARQ FAIA-AAdm-IT138 · Item · 1983-10-03
Parte de Ayda Ignez Arruda
Ofício GR. 985/83 de José Aristodemo Pinotti para AIA solicitando a conclusão dos trabalhos sobre a sistematização das bibliotecas da Universidade. Ass.: José Aristodemo Pinotti. Ayda Ignez Arruda