1. Resolver o problema das regras de substituição e instanciação, mencionado na conclusão;
2. Implementar a noção de Σ-álgebra local em uma linguagem de especificação algébrica, como CASL2, que utiliza a igualdade simples de Scott como primitiva;
3. Propor a especificação algébrica e a verificação de um sistema que utilize números reais, representados por intervalos e a igualdade local.
Referências bibliográficas José Medeiros dos Santos
REFERÊNCIAS BIBLIOGRÁFICAS
[1] RUGGIERO, M. A. G.; LOPES, V. L. R. Cálculo numérico: aspectos teóricos e computacionais. 2. ed. São Paulo: Makron Books do Brasil, 1996.
[2] OLIVEIRA, P. W.; DIVERIO, T. A.; CLAUDIO, D. M. Fundamentos de matemática intervalar. Porto Alegre: Sagra-Luzzato, 1997. (Série Matemática da Computação e Processamento Paralelo, 1).
[3] KEARFORTT, R. B. Rigorous global search: continuous problems. Dordrecht, Netherlands: Kluwer Academic Publishers, 1996.
[4] SANTOS, C. D. P.; AGUIAR, M. S.; DIMURO, G. P. As técnicas intervalares em substituição ao método clássico de estimativa de erro. In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 17, 1994, Vitória. Anais ... Vitória: SBMAC, 1994. v 1.
[5] BARBOZA, L. V.; DIMURO, G. P. Por que o computador erra? Uma visão didática. In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 15, 1992, São Carlos. Anais... São Carlos: SBMAC, 1992, [GD1].
[6] ACIÓLY, B. M. Fundamentação computacional da matemática intervalar. 1991. 263p. Tese (Doutorado em Ciência da Computação) - Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre.
[7] SANTIAGO, R. H. N. No sentido de uma lógica construtiva para a análise real. 1995. 147p. Dissertação (Mestrado em Ciência da Computação) - Departamento de Informática, Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife.
[8] SANTIAGO, R. H. N. Teoria das equações intervalares locais. 1999. 125p. Tese (Doutorado em Ciência da Computação) - Departamento de Informática, Pós- Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife.
[9] BEDREGAL, B. R. C. Continuous information systems: a logical and computational approach to interval mathematic. 1996. Tese (Doutorado em Ciência
Referências bibliográficas José Medeiros dos Santos
da Computação) - Departamento de Informática, Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife.
[10] ACIÓLY, B. M.; BEDREGAL, B. R. C. A "metric" topology compatible with inclusion monotonicity on interval space. In: INTERNATIONAL CONFERENCE ON INTERVAL METHODS AND COMPUTER AIDED PROOFS IN SCIENCE AND ENGINEERING - INTERVAL'96, 1996, Germany. Proceedings ... Germany, 1996.
[11] BEDREGAL, B. R. C.; ACIÓLY, B. M. An information system approach to interval mathematics. In: INTERNATIONAL CONFERENCE ON INTERVAL METHODS AND COMPUTER AIDED PROOFS IN SCIENCE AND ENGINEERING - INTERVAL'96, 1996, Germany. Proceedings ... Germany, 1996.
[12] BEDREGAL, B. R. C.; ACIÓLY, B. M. Interval deductions in continuous domain logic. In: INTERNATIONAL CONFERENCE ON INTERVAL METHODS AND COMPUTER AIDED PROOFS IN SCIENCE AND ENGINEERING - INTERVAL'96, 1996, Germany. Proceedings ... Germany, 1996.
[13] BEDREGAL, B. R. C.; ACIÓLY, B. M. Moore-computability: a proposal for a computable interval analysis. Revista de Informática Teórica e Aplicada, Porto Alegre-RS, 1997.
[14] ACIÓLY, B. M.; BEDREGAL, B. R. C. A quasi-metric topology compatible with inclusion monotonicity on interval space. International Journal Reliable Computing, v.3, n.3, p. 305-310, 1997.
[15] ACIÓLY, B. M.; BEDREGAL, B. R. C. An intervals domain logic. In: PANAMERICAN WORKSHOP OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2, 1997, Gramados-RS. Abstracts ... Gramados-RS, 1997, p. 90. [16] CLAUDIO, D. M et al. Versões intervalares do método de Newton. Porto Alegre:
CPGCC da UFRGS, 1991, 89p. (Relatório de Pesquisa, 161).
[17] DIVERIO, T. A.; FERNANDES, U. A. L. Aplicações de intervalos. Porto Alegre: CPGCC da UFRGS, 1994, 64p. (Relatório de Pesquisa, 235).
[18] MOORE, R. E. Interval Analysis. Englewood Cliffs: Prentice-Hall, 1966. 145p. [19] MOORE, R. E. Methods and applications for interval analysis. Philadelphia:
Referências bibliográficas José Medeiros dos Santos
[20] ALLISON, L. A pratical introduction to denotational semantics. Cambridge: [s.n.], p. 37, 1986. (Computer Science Texts, 23).
[21] LIPSCHUTZ, S. Topologia geral. Traduzido por Alfredo Alves de Faria. Rio de Janeiro: Mcgraw-Hill do Brasil, 1971. (Coleção Schaum).
[22] LIMA, E. L.. Espaços métricos. Rio de Janeiro: IMPA, 1975.
[23] LIMA, E. L. Análise real. 2. ed. Rio de Janeiro: IMPA, 1989 v. 1. (Coleção Matemática Universitária).
[24] DAVEY, B. A.; PRIESTLEY, H. A. Introduction to lattices and order. Cambridge: University Press, 1992.
[25] RUDIN, W. Principles of mathematical analysis. [S.l.]: McGraw-Hill, 1953. [26] SCOTT, D. S. Identify and existence in intuitionistic logic. In: Fourman, M. P.;
Mulvey, J.; Scott, D. S. Lecture notes in mathematics: applications of sheaves, 753 – Proceedurs of the research systems on applications of sheaf theory to logic, algebra and analysis, Berlin: Springer-Verlag, 1977. p. 660-696.
[27] MACLANE, S. Categorias for the working mathematician. Berlin: Springer- Verlag, 1971.
[28] FOURMAN, M. P.; SCOTT, D. S. Sheaves and logic. In: Fourman, M. P.; Mulvey, J.; Scott, D. S. Lecture notes in mathematics: applications of sheaves, 753 – Proceedurs of the research systems on applications of sheaf theory to logic, algebra and analysis, Berlin: Springer-Verlag, 1977. p. 302-401.
[29] MOORE, R. E. Interval aritmetic and automatic error analysis in digital computing. 1962. Tese (Doutorado) - Stanford University, Stanford.
[30] KULISCH, U. W.; MIRANKER, W. L. The aritmetic of the digital computer: a new approach. SIAM Review, v.1, n.28, p.1-40, Mar. 1986.
[31] HENNESSY, M. Algebraic theory of processes. Cambridge: MIT Press, 1988. [32] BEESON, M. J. Foundations of construtive mathematics. Berlin: Springer-Verlag,
1985.
[33] SANTIAGO, R. H. N.; ACIOLY, B. M. Interval local equality. In: SCAN 2000/INTERVAL’2000, 2000, Germany. Book of Abstract ... p.172, Germany, 2000.
Referências bibliográficas José Medeiros dos Santos
[34] SANTIAGO, R. H. N.; ACIOLY, B. M. Identity and consistency. In: CNMAC, 23, 2000, Santos/SP. Proceedings ... p. 338, Santos/SP, 2000.
[35] GOLDBLATT, R. The categorial analysis of logic. Amsterdan: North-Holland, 1984. (Estudies in logic and the foundation of mathematics, 98).
[36] RASIOWA, H. An algebraic approach to non-classical logics. Amsterdan: North- Holland Publishing Company, 1974.
[37] SUNAGA, T. Theory of na interval algebra and its applications to numerical analysis. RAAG Memoirs, v. 2, p. 29-46, 1958.
[38] GIERZ, G et al. A compendium of continuous lattices. Berlin: Springer-Verlag, 1980.
[39] CRUZ, M. M. C. Uma relação de equivalência entre funções intervalares baseada na noção de consistência. 2000. 80p. Dissertação (Mestrado em Ciência da Computação) – Departamento de Informática e Matemática Aplicada, Mestrado em Sistema e Computação, Universidade Federal do Rio Grande do Norte, Natal.
[40] GOGUEN, J. A.; BURSTALL, R. Institutions: abstract model theory for specifications and programming. Disponível em: 〈http://www.csc.vcsd.edu/users/ goguen/ps/ins.ps.gz〉
[41] CoFI Coroup, The common framework instiative for algebraic specifications and development, eletronic media: notes and documents available at the CoFI. Disponível em: 〈http://www.brics.dk/Projects/CoFI/index.html〉