Publicado
Publicado
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Minuta de portaria do Diretor do IMECC, Ubiratan D?Ambrósio, constituindo comissão de graduação do IMECC e dando conta de suas atribuições
Caixa 25 – FAIA, AAdm, M, P.17, 140
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Anexos: Carta de Porchat, [coordenador do CLE], a Ubiratan D’Ambrósio, diretor do IMECC, encaminhando a minuta. Campinas, 15 jun. 1978. Ass.: Porchat. 1p. dat.
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Minuta de acordo realizado entre o IMECC e o CLE-Unicamp, estabelecendo a colaboração entre as duas unidades para a realização de eventos e publicações
Caixa 25 – FAIA, AAdm, M, P.17, 141
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Anexo: Propostas do Departamento de Estatística. S.l., S.d. S.ass. 1p. dat. cópia.
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Minuta da Comissão nomeada pela Congregação para elaborar um projeto de atribuições de futura Comissão Científica, sugerindo a formação de duas comissões com atribuições distintas.
Caixa 25 – FAIA, AAdm, M, P.17, 142
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Anexo: Fixação do quadro do IMECC. S.l., S.d. S.ass. 1p. dat.
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Minuta solicitando alterações no texto da Portaria GR-092/79 que dispõe sobre o afastamento de docentes para viagens.
Caixa 25 – FAIA, AAdm, M, P.17, 143
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Proposta de Regimento Interno do IMECC, elaborada pela comissão eleita para tal fim, dispondo sobre o funcionamento do Instituto e sua administração.
Caixa 25 – FAIA, AAdm, M, P.17, 144
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Publicado
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ata da primeira sessão extraordinária do Conselho Diretor da Unicamp, tratando da elaboração da lista de candidatos a futuro reitor e informando sobre os procedimentos do processo eleitoral.
Caixa 25 – FAIA, Aadm, Atas, P.18, 145
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Atas da eleição para composição da lista tríplice para o cargo de diretor do IMECC, e da 23ª, 24ª e 25ª reunião da congregação do IMECC
Caixa 25 – FAIA, Aadm, Atas, P.18, 146
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP).
Caixa 25 – FAIA, Aadm, Atas, P.18, 147
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ata da reunião extraordinária da congregação do IMECC, tratando do problema da transferência do professor Tomasz Kowaltowski da Universidade de São Paulo para a Unicamp.
Caixa 25 – FAIA, Aadm, Atas, P.18, 148
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ata da 39ª reunião da congregação do IMECC, tratando da indicação de membros do IMECC para Estudo de Problemas Brasileiros, processos de doutorado e mestrado, e outros assuntos.
Caixa 25 – FAIA, Aadm, Atas, P.18, 149
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ata da 40a reunião da congregação do IMECC, discutindo propostas de remodelação da Unicamp, processos de convalidação de créditos, reformulações na ata anterior e outros assuntos.
Caixa 25 – FAIA, Aadm, Atas, P.18, 150
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ata da reunião extraordinária da congregação do IMECC, tratando da exoneração de 8 diretores de unidades e da crise administrativa na Unicamp.
Caixa 25 – FAIA, Aadm, Atas, P.18, 151
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ata da reunião extraordinária da congregação do IMECC, tratando da nomeação de interventores na Unicamp e convocando assembléias permanentes para discutir este assunto.
Caixa 25 – FAIA, Aadm, Atas, P.18, 152
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Obs.: AIA foi a única candidata aprovada para a função de professor adjunto.
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
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.
Caixa 25 – FAIA, AAdm, P.16, 130
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Memorando de Antonio Conde, diretor associado, comunicando a data, local e o horário da reunião do Conselho Interdepartamental.
Caixa 25 – FAIA, AAdm, P.16, 131
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
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
Caixa 25 – FAIA, AAdm, P.16, 132
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ofício C.V.47/00117 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Licenciatura na Unicamp em 1982. Ass.: Setembrino Petri.
Caixa 25 – FAIA, AAdm, P.16, 133
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ofício C.V.47/00118 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Estatística na Unicamp em 1982. Ass.: Setembrino Petri
Caixa 25 – FAIA, AAdm, P.16, 134
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ofício C.V.47/00119 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Ciência da Computação na Unicamp em 1982. Ass.: Setembrino Petri.
Caixa 25 – FAIA, AAdm, P.16, 135
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Carta de Carlos A.R. de Moura, coordenador da Sub/CPG/DF/IFCH, enviando lista de alunos e os respectivos prazos para defesa de tese. Ass.: Carlos R. Moura.
Caixa 25 – FAIA, AAdm, P.16, 136
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Ofício GR. 870/83 de José Aristodemo Pinotti para AIA solicitando que reconsidere o seu pedido de demissão do cargo de Suplente da Comissão de Orçamento e Patrimônio. Ass.: José Aristodemo Pinotti.
Caixa 25 – FAIA, AAdm, P.16, 137
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
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.
Caixa 25 – FAIA, AAdm, P.16, 138
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Ayda Ignez Arruda nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936, filha de Lourenço Waltrick Arruda e Izabel Pereira do Amarante. Bacharelou-se em matemática em 1958 e concluiu a sua licenciatura em 1959, ambas na Faculdade de Filosofia da Universidade Católica do Paraná.
Iniciou a sua carreira acadêmica como professora contratada para a cadeira de Análise Matemática e Superior da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, em 1960.
Em 1966, na Universidade Federal do Paraná, obteve o título de doutora e livre-docente com a tese Considerações sobre os Sistemas Formais NFn, produzida sob a orientação do professor Newton C.A. da Costa.
Em 1968 foi contratada como professora titular na área de Lógica e Fundamentos da Matemática no Instituto de Matemática, Estatística e Ciência da Computação da Unicamp, dando início ao Grupo de Lógica de Campinas, com os seguintes professores: Newton C.A. da Costa, Andréa Loparic, Antonio M. Sette, Elias H. Alves, Itala M. L. D'Ottaviano, Luiz Paulo de Alcântara, Luis Henrique L. dos Santos, Oswaldo Porchat Pereira e Roberto Cignoli.
Durante a visita de Alfred Tarski, renomado matemático polonês, feita à Unicamp, em 1975, a professora Ayda I. Arruda, organizou o Simpósio de Lógica Matemática, de 3 a 5 de março, no IMECC. Este evento abriu as portas do IMECC para que, em 1976, ocorresse o III Simpósio Latino-Americano de Lógica Matemática, também organizado por Ayda.
Foi chefe do Departamento de Matemática do IMECC, de julho de 1979 a abril de 1980, e assumiu a direção do instituto em 16 de abril de 1980 permanecendo no cargo até seu prematuro falecimento em 13 de outubro de 1983, com 47 anos.
Por quase vinte anos estudou e criou sistemas não-clássicos de lógicas paraconsistentes, publicando vários trabalhos científicos. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem trabalhou durante muitos anos e publicou diversos artigos em periódicos internacionais.
Durante a sua vida, teve contatos importantes com lógicos e matemáticos brasileiros e do exterior. Dentre eles destacamos os professores: Mário Tourasse Teixeira da Faculdade de Filosofia de Rio Claro, São Paulo; Marcel Guillaume, da Université de Clermont-Ferrand da França; Antonio Monteiro, da Universidade de Bahía Blanca, Argentina; e, Andrés Raggio, da Universidade de Córdoba, Argentina.
Foi professora visitante e conferencista em diversas universidades nacionais e estrangeiras, dentre as quais citamos: Université Claude-Bernard, na França; Uniwersytet Mikolaja Kopernika, em Torún, Polônia; Pontificia Universidad Católica de Chile; Universiteit Gent, na Bélgica; etc.
Orientou vários alunos de mestrado; foi membro de bancas organizadoras; participou de várias bancas julgadoras de doutorado, incluindo as dos professores Antonio Mário Antunes Sette, Ítala Maria Loffredo D'Ottaviano e Elias Humberto Alves; foi membro fundador do Centro de Lógica, Epistemologia e História da Ciência da Unicamp e da Sociedade Brasileira de Lógica, da qual foi vice-presidente e presidente.
Nos últimos anos de sua vida, interessou-se e analisou exaustivamente os artigos publicados por Vasil'év, em particular por suas relações com a lógica paraconsistente. Ayda I. Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil'év, obtendo, como resultado as lógicas paraconsistentes.
Como homenagem póstuma à professora Ayda, a Unicamp, em 1985, organizou o VII Simpósio Latino-Americano de Lógica Matemática, dedicado à sua memória. E, em 1990, foi publicado o livro N.A. Vasiliev e a Lógica Paraconsistente (vol. 7 - Coleção CLE), organizado pela professora Ítala Maria Loffredo D'Ottaviano.
Publicado
Convocação para reunião dos mebros da congregação do IMECC realizada no dia 03 de dezembro às 13 horas. Ass.: Gilberto Rodrigues de Queiroz, assistente técnico de direção.
Caixa 25 – FAIA, AAdm, P.16, 139
SPCLEARQ
Consulta livre mediante cadastro do pesquisador
Mediante autorização dos Arquivos Históricos/SPCLEARQ