@article{Barbosa_2016, place={Campinas, SP}, title={Ayda ignez arruda, a seu dispor: instrumentos de pesquisas}, volume={4}, url={https://econtents.bc.unicamp.br/inpec/index.php/simtec/article/view/7533}, abstractNote={<span>Nesse trabalho divulgaremos as ações desenvolvidas pelos Arquivos Históricos em História da Ciência do Centro de Lógica da Unicamp sobre o Fundo Ayda Ignez Arruda.</span><span>Esse Fundo é importante para a memória cientifica da Universidade Estadual de Campinas, visto que a professora Ayda, foi uma das primeiras mulheres a comandar uma das suas unidades de ensino, o Instituto de Matemática, Estatística e Computação Científica.</span><span>Ela foi membro-fundador do Centro de Lógica da Unicamp e da Sociedade Brasileira de Lógica, sendo presidente dessa instituição de 1978 a 1983.</span><span>A professora Ayda foi à primeira colaboradora do Professor Newton da Costa, criador da Lógica Paraconsistente. Ela criou e estudou os sistemas não-clássicos de lógicas paraconsistentes. Como pesquisadora atuou na área de Lógicas Paraconsistentes, Lógicas Relevantes e Teoria dos Conjuntos.</span><span>Ao recebermos o Arquivo da Professora Ayda, fizemos o levantamento biográfico e elaboramos a sua biografia, em seguida arranjamos a documentação ora sob a nossa guarda e elaboramos e os instrumentos de pesquisas. </span><span>O Inventário Sumário e o Catálogo estão disponibilizamos também em meio eletrônico, neles os pesquisadores encontram descritos os documentos pessoais da titular, correspondências, trabalhos acadêmicos, artigos e como particularidade os recortes de jornais sobre a intervenção sofrida pela Unicamp em 1981.</span><span>Através dessa documentação temos a possibilidade de conhecer e saber um pouco da vida dessa ilustre professora e assim preservamos a memória de Ayda Ignez Arruda.</span>}, number={4}, journal={Sínteses: Revista Eletrônica do SimTec}, author={Barbosa, Enoch Silva}, year={2016}, month={jul.}, pages={97–97} }