Coleção AMS - Antônio Mário Sette

Área de identidad

Código de referencia

BR SPCLEARQ AMS

Título

Antônio Mário Sette

Fecha(s)

  • 1963-1997 (Creación)

Nivel de descripción

Coleção

Volumen y soporte

Textuais: 197 itens documentais

Área de contexto

Nombre del productor

Historia biográfica

Antonio Mário Antunes Sette nasceu em Pernambuco. Casou-se com Neide Maria Durães Sette, com a qual teve três filhos. Sette, como é conhecido no meio acadêmico, formou-se Bacharel em Matemática pela Universidade Federal de Pernambuco (UFPe) no ano de 1967. Fez seu mestrado na Universidade Estadual de Campinas, sob a orientação do Professor Newton Carneiro Afonso da Costa. Em 1977, doutorou-se pela Universidade de São Paulo, também sob a orientação do Professor da Costa. Iniciou sua atividade profissional em 1966, como professor da Universidade Federal do Rio Grande do Norte. Em 1968, foi contratado pela Pontifícia Universidade Católica do Rio de Janeiro e logo depois, em 1969, pelo Instituto de Matemática Estatística e Ciência da Computação (IMECC) da Unicamp. Voltou à sua cidade natal, para lecionar na UFPe, a partir de 1971. Nessa Universidade, além das atividades acadêmicas, desempenhou também as funções de Vice-Coordenador de Pós-Graduação do Departamento de Matemática e de Chefe desse Departamento, ambos em 1979. Mas, em 1979 recebe um novo convite para lecionar na Unicamp, e aqui permanece até o seu falecimento.Foi orientando do Professor Leopoldo Nachbin, no Instituto de Matemática Pura e Aplicada (IMPA), no Rio de Janeiro. E, quando esteve em Marseille, na França, na década de 70, trabalhou com o Professor R. Fraissé.Membro fundador da Sociedade Brasileira de Lógica (SBL), criada em 14 de fevereiro de 1979, foi seu primeiro Vice-Presidente, durante a gestão de 1979-1980 e Tesoureiro de 1981-1982.Em 1983, titulou-se Professor Livre Docente. Passou a ser membro do Centro de Lógica, Epistemologia e História da Ciência da Unicamp, em 1982.Na Unicamp exerceu alguns cargos administrativos, entre os quais destacamos o de Diretor e Vice-Diretor do IMECC, de 1984 a 1986, o de Presidente da Comissão Deliberativa do Vestibular, de 1986 a 1990 e o de Pró-Reitor de Graduação, no período de 1986 a 1990.Suas pesquisas e trabalhos foram nas áreas de Álgebra da Lógica, Teoria de Modelos, Método Algébrico em Teoria de Modelos, Aspectos Geométricos das Linguagens Lógicas, Traduções e/ou Interpretações entre Lógicas e Lógicas Não-Clássicas.O Professor Antônio Mario Sette integrava o Grupo de Lógica do CLE/ IFCH-Unicamp.
Participou de aproximadamente 20 Seminários e Simpósios, além de inúmeras participações em bancas examinadoras. Muitas de suas publicações foram com seus pares, dentre eles podemos citar: Ayda Ignez Arruda, Itala Maria Loffredo DOttaviano e Walter Alexandre Carnielli, os três da Unicamp, com Newton C. A. da Costa, Rolando Chuaqui, Xavier Caicedo e Daniele Mundici. O XIII Encontro Brasileiro de Lógica, ocorrido na Unicamp em maio de 2003, foi dedicado à sua memória. O Professor Xavier Caicedo, da Universidade de Los Andes-Colômbia, rendeu-lhe homenagens e destacou as atividades desenvolvidas por Mário Sette enquanto membro do CLE e os vários trabalhos que os dois realizaram na área de lógica.

Historia archivística

Origen del ingreso o transferencia

Área de contenido y estructura

Alcance y contenido

A Coleção AMS traz estudos sobre cálculos proposicionais e lógicas não-clássicas.

Valorización, destrucción y programación

Acumulaciones

Sistema de arreglo

Séries, Sub-séries e Dossiês.
DPF - Documentos Pessoais e Funcionais
C - Correspondência
PI - Produção Intelectual
DA - Dossiê Alunos
DPUC - Dossiê PUC-Chile
PT - Produção de Terceiros

Área de condiciones de acceso y uso

Condiciones de acceso

Consulta livre mediante cadastro do pesquisador

Condiciones

Mediante autorização do Arquivo Histórico/SPCLEARQ

Idioma del material

    Escritura del material

      Notas sobre las lenguas y escrituras

      Características físicas y requisitos técnicos

      Instrumentos de descripción

      Área de materiales relacionados

      Existencia y localización de originales

      Existencia y localización de copias

      Unidades de descripción relacionadas

      Arquivo Central/SIARQ-Unicamp

      Descripciones relacionadas

      Área de notas

      Identificador/es alternativo(os)

      Puntos de acceso

      Puntos de acceso por materia

      Puntos de acceso por lugar

      Puntos de acceso por autoridad

      Tipo de puntos de acceso

      Área de control de la descripción

      Identificador de la descripción

      Identificador de la institución

      Reglas y/o convenciones usadas

      Estado de elaboración

      Nivel de detalle

      Fechas de creación revisión eliminación

      Idioma(s)

        Escritura(s)

          Fuentes

          Área de Ingreso