Entidades de Ensino e Pesquisa

Referências bibliográficas

Links Diversos

 


http://www.compugraf.com.br/
 
 Anixter, Inc - Fiber to the Desk (FTTD): The Ultimate Structured Cabling System.
(
http://www.anixter.com/techlib/whiteppr/cabling/fttdwp.htm)

Anixter, Inc - Guide to the TIA/EIA-568A Standard.
(
http://www.anixter.com/techlib/standard/cabling/tiabook.htm)

Anixter, Inc - How to Effectively Manage Your Structured Cabling Infrastructure.
(
http://www.anixter.com/techlib/whiteppr/cabling/scsmgmt.htm)

Anixter, Inc - Structured Cabling System Design Consideration.
(
http://www.anixter.com/techlib/standard/cabling/tiabook2.htm)

Anixter, Inc - Today's Structured Cabling Decisions Determine Tomorrow's Business Capabilities.
(
http://www.anixter.com/solution/cabling/x3108100.htm)

AUGUSTO, Alexandre - A rede por um fio.
LANTIMES BRASIL Ed. Maio 96, p36:43

CARVALHO, Tereza Cristina Melo de Brito - Metodologia para Projeto de Redes Locais.
Tese de Doutorado, PUC-SP, 1995

MARON, Danny - Esqueçam os Cabos. LANTIMES BRASIL Ed. Maio 96, p44:47

UFRGS - Cabo Coaxial
(
http://penta.ufrgs.br:80/redes.94-2/trentin/coaxial.html)

UFRGS - Fibras Óticas
(
http://penta.ufrgs.br:80/Eunice/f_otica.html)

UFRGS - Fibras Óticas
(
http://penta.ufrgs.br:80/redes.94-2/nunes/fibras.html)

UFRGS - Par de fios
(
http://penta.ufrgs.br:80/Eunice/par_fio.html)

UFRGS - Par Trançado Sem Blindagem
(
http://penta.ufrgs.br:80/redes.94-2/gmoraes/gmoraes00.html)

UFRGS - Transmissão de Dados sem Fio
(
http://penta.ufrgs.br:80/redes.94-2/lisianeh/wireless.html

UFRGS - Um pequeno estudo sobre Par Trançado
(
http://penta.ufrgs.br:80/rc952/Cristina/utpatual.html)

USP - USPnet: A USP na internet.
(
http://www.usp.br/cce/uspnet.html)

USP - Rede Computacional da USP: Normas Técnicas.
(
http://www.usp.br/cce/normas/

SOARES, Luis Fernando Gomes. LEMOS, Guido. COLCHER, Sergio - Redes de Computadores das LAN´s, MAN´s, WAN´s às redes ATM - 2 ed. Ver. Ampl. - Rio de Janeiro. RJ. Campus, 1995

STRINGARI, Sérgio - Metodologia para Projeto de Redes Educacionais. Dissertação de Mestrado, UFSC, 1996
 
 

Entidades de Ensino e Pesquisa

Nacionais:

Internacionais:


Transmission System Information Networks

Voltar início da Página links

Referências bibliográficas

1. Arbib, Michael A.[1987]. Brain, Machines and Mathematics. New York: Spring-Verlag, 1987.

2. Artigas, Mariano [1994]. El desafio de la racionalidad. Barcelona: EUNSA, 1994.

3. Barendregt, H.P. [1984]. The lambda calculus, its syntax and semantics. Amsterdan: Elsevier Science Publishers B.V., 1984.

4. Bell, E. T. [1937]. Men of Mathematics. New York: Simon & Schuster, Inc, 1937.

5. Berg, H.K. & Boebert, W.E & Franta, W.R. & Moher, T.G. [1982]. Formal methods of program verification and specification. New Jersey: Prentice-Hall, Inc., 1982.

6. Bochenski, J. M. [1966]. Historia de la logica formal. Madrid: Biblioteca Hispânica de Filosofia, 1966.

7. Bolter, J. David [1984]. Turing's man, western culture in the computer age. Carolina do Norte: Universidade da Carolina do Norte, 1984.

8. Boole, George [1984]. El analises matematico de la lógica. Madrid: Catedra, 1984.

9. Bowen, Jonathan P. [1994]. A brief history of algebra and computing: an ecletic oxonian view. Oxford: Librarian, Oxford University Computing Laboratory, 1994.

10. Boyer, Carl B. [1974]. História da Matemática. São Paulo: Edgard Blucher, 1974.

11. Brained, W. & Landweber [1974]. Theory of computation. New York: Wiley-Interscience Publication, 1974.

12. Burke, Peter [1992]. A escola dos annales, 1929-1989-A revolução francesa da historiografia. São Paulo: Editora UNESP, 1992.

13. Burke, Peter [1992]. A escrita da história-novas perspectivas. São Paulo: Editora UNESP, 1992.

14. Burks, A. W. [1951]. An intermediate program language as an aid in program synthesis. Engineering Research Institute, Report for Burroughs Adding Machine Company, 1951.

15. Burks, Arthur W. [1980]. From de ENIAC to the stored-program computer, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.

16. Casti, John L. [1997]. Five golden rules-great theories of 20th-century Mathematics and why they matter. Canadá: John Wiley Sons, Inc., 1997.

17. Coelho, Clarimar J. [1995]. Monografia: apresentação das bases teóricas para o desenvolvimento de um sistema de apoio a decisão utilizando resolução de equações booleanas. Goiás: Depto. Matemática e Física da Universidade de Goiás, 1995.

18. Coffa, J. Alberto Wessels [1991]. The semantic tradition from Kant to Carnap. Cambridge: Cambridge University Press, 1991.

19. Cohen, Daniel E. [1987]. Computabilty and logic. England: Ellis Horwood Series in Mathematics and Its Aplications, 1987.

20. Costa, Newton C. A. [1977]. Introdução aos fundamentos da Matemática. São Paulo: Editora Hucitec, 1977.

21. Dantzig, T. [1930|1954]. Number, the language of science. New York:Doubleday Anchor Books, 1954.

22. Encyclopedia Britannica [1979]. The New, Macropaedia. USA: Helen Hemingway Benton, 1979.

23. Encyclopedia Britannica [1979]. The New, Micropaedia. USA: Helen Hemingway Benton, 1979.

24. Fernandez, Luiz Soares [1985]. Historia Universal, Volume 1. Pamplona: Edições Universidade de Navarra, 1985.

25. Gates, Bill [1995]. A estrada do futuro. São Paulo: Companhia das Letras, 1995.

26. Goldstine, Herman H. [1972]. The computer from Pascal to von Neumann. New Jersey: Princeton University Press, 1972.

27. Gomes, Nelson Gonçalves. Lógica Matemática, Curso de Lógica da Faculdade de Filosofia da UnB, apostila para apontamentos de aula, 1997.

28. Gosling, James & McGilton, Henry [1995]. The Java language environment- a white paper. California: Sun Microsystems, Inc, 1995.

29. H.W.B., Joseph [1916|1930]. Introduction to Logic. Oxford: Clarendon Press, 1930.

30. Harrison, John, The history of formal logic. Revista Mathesis Universalis, 1996, no 2, Formalized Mathematics. Disponível na internet http://saxon.pip.com.pl/MatUniversalis/2/harrison/jrh03.html.

31. Hermes, Hans [1969]. Enumerability, decidability, computability-an introduction to the theory of recursive functions. New York: Springer-Verlag, 1969.

32. Horowitz, E. [1987]. Programming languages: a grand tour. Maryland: Computer Science Press, 1987.

33. Hurd, Cuthbert [1980]. Computer Development at IBM, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.

34. IEEE Computer Society, Edição comemorativa dos 50 anos da revista. Disponível na Internet, http://www.computer.org/50/history/1936-39.html.

35. Kahn, D. [1967]. The Code Breakers. New York: Macmillan, 1967.

36. Karlson, Paul [1961]. A magia dos números. Rio de Janeiro: Editora Globo, 1961.

37. Kneale, Willian & Kneale, Martha [1962|1968]. O desenvolvimento da lógica. Lisboa: Fundação Calouste Gulbenkian, 1968.

38. Knuth, D. E. & Pardo, L. T. [1980]. The early development of programming languages, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.

39. Knuth, D. E. [1976]. Ancient babylonian algorithms. in Comm. ACM 15, 671-677(1972); Errata, Comm. ACM 19, 108, 1976.

40. Knuth, D. E. [1969]. The Art of Computer Programming, volume 1. Massachusetts: Addison-Wesley, 1969.

41. Le Goff, Jacques & Nora, Pierre [1988]. História: novos problemas. Rio de Janeiro: Livraria Francisco Alves Editora, 1988.

42. Le Goff, Jacques [1994]. História e memória. Campinas: Editora da UNICAMP, 1994.

43. Lee, J. A. N., Relatório preparatório sobre o estudo da História da Computação, e propostas preliminares para inclusão de aspectos da História da Computação curriculum das universidades e colégios, apresentado no Grupo de Trabalho 9.7 (História da Computação), do IFIP (International Federation for Information Processing), 24 a 29 de julho de 1995.

44. Lee, John A. N. [1996]. Annals of the History of Computing, Volume 18, no 2. EUA: Institute of Electrical and Electronics Engineers, Inc., 1996.

45. Licklider, J.C.R. [1960]. Man-Computer Symbiosis. IRE Transactions on Human Factors in Electronics, volume HFE-1, 1960.

46. Lilley, S. [1945|1957]. Machinery in Mathematics, a historical survey of calculating machines. London: Discovery, 1945.

47. Linden, Peter van der [1996]. Just Java. California: The Sunsoft Press, 1996.

48. Lucchesi, C. L. & Simon, I. S. I. & Simon, J. & Kowaltowski, T. [1979]. Aspectos Teóricos da Computação. Rio de Janeiro: Livros Técnicos e Científicos S.A., 1979.

49. Lucena, Carlos J.P. [1982]. Análise e síntese de programas de computador. Brasília: Editora Universidade de Brasília, 1982.

50. May, Kenneth O. [1980]. Historiography: a perspective for computer scientists, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.

51. McCulloch , Warren & Pitts, Walter [1943]. A logical calculus of the ideas immanent in nervous activity, Bulletin of Mathematical Biophysics, volume 5, 1943.

52. Michelson, A.A. & Stratton, S.W. [1898]. A New Harmonic Analyzer. American Journal of Science, 4a serie, vol V, 1898.

53. Moore, Doris Langley [1977]. Ada, countess of Lovelace: Byron's legitimate daughter. New York: Harper and Row, 1977.

54. Morrison, Philip & Morrison, Emily [1961]. Charles Babbage and his calculatings engines. New York: Dover, 1961.

55. Mosses, Peter D. [1992]. Action Semantics. Cambridge: Cambridge University Press, 1992.

56. Motoyama, Shozo [1996]. apud História da técnica e da tecnologia no Brasil. São Paulo: UNESP, 1996.

57. Nagel, Ernest & Newman, J. R. [1956]. "Gödels Proof", the world of mathematics. New York: Simon e Schuster, 1956.

58. Naur, P. Randell B. [1969]. Software Engineering. Rept. NATO Sci. Comm., 1969.

59. Needham, Joseph [1959]. Science and civilization in China, volume 3. Cambridge: Cambridge University Press, 1959.

60. Pratt, T. W. [1984]. Programming languages: design and implementation. New Jersey: Prentice Hall, Englewood Cliffs, 1984.

61. Realle, G. & Antisseri Dario [1991]. História da Filosofia. São Paulo: Edições Paulinas, 1991.

62. Rheingold, Howard [1985]. Tools for Thought: The People and Ideas of the Next Computer Revolution. New York: Simon & Schuster, 1985.

63. Rich, Elaine [1988]. Inteligência Artificial. São Paulo: McGRAW-HILL, Inc., 1988.

64. Rogers, Harold, Pequena Biografia, disponível na Internet, http://bang.lanl.gov/video/sunedu/computer/zuse.html.

65. Russell, Stuart & Norvig, Peter [1995]. Artificial Intelligence, a modern approach. New Jersey: Prentice Hall Series in Artificial Intelligence, 1995.

66. Ryder, John D. [1967]. Engineering Electronics with Industrial Applications and Control. Toquio: McGraw-Hill Kogakuska, Ltd., 1967.

67. Sanguineti, Juan Jose [1982]. Lógica. Pamplona: EUNSA, 1982.

68. Soria, Carlos [1992]. De la metáfora del cuarto poder a la sociedad de la información, apud Veinte Claves Para La Nueva Era. Madrid: Ediciones Rialp S/A, 1992.

69. Stibitz, George R. [1980]. Early computers, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.

70. Tanenbaum, A. S. [1992]. Organização Estruturada de Computadores. Rio de janeiro: Prentice-Hall do Brasil, 1992.

71. Teixeira, João de Fernandes Teixeira [1997]. Mentes e Máquinas. Porto Alegre: Artes Médicas, 1997.

72. Toynbee, Arnold [1987]. Um Estudo da História. Brasília: Martins Fontes & Editora Universidade de Brasília, 1987.

73. Turing, A. M. [1950]. Computing machinery and intelligence. England: Mind, volume 59, no 236, 1950.

74. Turing, A. M., On computable numbers, with an aplication to the Entscheidungsproblem. Proceedings of the London Mathematical Siciety, volume 42, Londres, 1936.

75. Veyne, Paul M. [1982]. Como se escreve a história. Brasília: Editora Universidade de Brasília, 1982.

76. Watt, David A. [1990]. Programming language concepts and paradigms. Cambridge: Prentice Hall, 1990.

77. Wexelblat, R. L. [1980]. ACM History of programming language conference, Los Angeles. New York: ACM Monograph, Academic Press, 1980.

78. Wiener, Norbert [1970]. Cibernética. São Paulo: Editora da Universidade de São Paulo e Editora Polígono, 1970.

79. Wilder, Raymond L. [1965]. Introduction to the foundations of Mathematics. Tóquio: John Wiley & Sons, Inc., 1965
.
80. Willians, Michael R. [1997]. History of computing technology. California: IEEE Computer Societ Press, 1997.

81. Wilson, L. B. & Clark, R. G. [1988]. Comparative programming languages. England: Addison-Wesley, 1988.

82. Zuse, K. [1972]. The working program-controlled computer of 1941, Honeywell Computer Journal 6(2), 1972.

83. Zuse, Konrad [1980]. Some remarks of the history of computing in Germany, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.

84. Ciência dos computadores - Uma abordagem algorítmica - J. P. Tremblay e R. B. Bunt - McGraw-Hill - 1983

85. Norton Utilities 4,5 e versão avançada - Guia do usuário - J. A. Ramalho - Makron books - 1990

86 .Guia do usuário MS-DOS - Microsoft Corporation - 1994

87 .Computadores Eletrônicos Digitais - A. de Vasconcellos - Fundo de Cultura - 1972

88. Conhecendo a família 80486 - Hardware e software - B. Segal, C. K. Nakajune e S. A. Celestino - Érica - 1992

89 .Revista Internet .br - Ediouro - http://www.internetbr.com.br

90. Windows NT Server 4 - Aprenda em 14 dias - Davis e Lewis - Editora Campus - 1998

91 .Dynamic HTML - Aprenda em 1 semana - Campbell e Darnell - Editora Campus - 1998

92 .FrontPage 97 - Aprenda em 1 semana - Donald Doherty - Editora Campus - 1997

93 .Director 6 - Studio Skills - Lauren Steinhauer - Quark books - 1997

94 .A Internet e os Hackers - Ataques e defesas - M@rcio - Chantal Editora

95 .Conectiva RedHat Linux Marumbi - Manual do usuário - Conectiva Internet Solutions - 1998

96. Dispositivos Semicondutores" * - Mello & Intrator - Livros Técnicos e Científicos Editora S.A. - 2a. edição

97 .Dispositivos Eletrônicos e Teoria dos Circuitos" * - Robert Boylestad, Louis Nashelsky - Editora
Prentice-Hall do Brasil - 5a. edição

98 .Imagens da Física" - Ugo Amaldi - Editora Scipione

99 .Curso Completo de Eletrônica" - U.S. Navy, Bureau of Naval Personnel, Training Publications Division - Hemus livraria editora limitada

100 .Introdução à Ciência da Computação" - Guimarães/Lages - Livros Técnicos e Científicos Editora S.A
"Curso de Química" - Ronaldo Henriques da Silva - Editora Harbra - 2a. edição

101 .José Maria Fernandes de Almeida - Professor Associado U. Minho - Escola de Engenharia Campus de Azurém, 4800
102 .Kehoe, Brendan P. "A Beginner's Guide to the Internet: Zen and the Art of the Internet", First Edition, January 1992.
103. Shapiro, Norman, et al. "Towards an Ethics and Etiquette for Electronic Mail"., Santa Monica, CA: Rand Corporation (publication R-3283-NSF/RC), 1985.

104. Von Rospach, Chuq. "A Primer on How to Work With the USENET Community"
Horton, Mark; Spafford, Gene. "Rules of conduct on Usenet"

105 .A Guide to Electronic Communication & Network Etiquette", revised and submitted by Joan Gargano, edited by Ivars Balkits, Computing Services- University of California Davis.

106. Heartland Free-Net Registered User Guidelines", Bradley University, Peoria, Il.

107. Terms and Conditions of Membership and Affiliation", CREN Information Center, October 25, 1990

108. Electronic Mail and Networks: New Tools for Institutional Research and Planning." by Dan Updegrove, John Muffo and Jack Dunn, University of Pennsylvania.

109. Exploring Internet Training Series, Module 1- Exploring Internet:Using your Computer to Communicate", by Deborah Shaffer, ES-USDA, CIT and Pennsylvania State University, Henry DeVries; Extension Electronic Technology Group, Cornell University; Gregory Parham, ES-USDA, CIT.

110. Exploring Internet Training Series, Module 2- Mail-based Information Delivery: Alamanac and Listservs". by Deborah Shaffer, ES-USDA, CIT and Pennsylavia State University; Henry DeVries, Extension Electronic Technology Group, Cornell University; Gregory Parham, ES_USDA, CIT.

Voltar início da Página links

 

Links Diversos

A Matemática no Mundo Atual

Instituto de Matemática - UFRGS. 

Aprenda Matemática Financeira

Para quem acha a matemática difícil. 

Calculadora financeira

Como usar a calculadora financeira HP-12C.

Calculu's Home Page

A história da matemática, Artigos e profissões. 

Clínica de Matemática

Matemática para vestibular. Cursos pela Internet e Simulados. 

Clube Virtual

Trabalhos realizados pelos grupos de estágio em Matemática na Universidade da Madeira.

Curiosidades Matemáticas

Teorema de Pitágoras, triângulo de Pascal, curiosidades com números.

Departamento de Matemática

Universidade de Brasília.

Departamento de Matemática

Universidade Estadual de Maringá.

Educação Matemática

Educação matemática, ensino, metodologia do ensino, material didático, resolução de problemas e textos matemáticos.

Família Santos

Página pessoal com espaço para matemática, com testes e vários endereços selecionados.

Fessora's Home 
Page

Sua professora de Matemática on line! 

Henri Poincaré

Matemático que fundou um conjunto de novos ramos da matemática, e cujas idéias seminais continuaram a influenciar decisivamente toda a investigação matemática do século XX.

História da 
Matemática

Vários temas da  
matemática. 

História da 
Matemática

Grande site com muitos links relacionados.

IMPA

Instituto de Matemática Pura e Aplicada.

Licenciatura em Matemática

Grande site para alunos e professores. Muitas informações sobre matemática. UFRGS

Matemática Aplicada e Computacional

Curso de Matematica Aplicada e Computacional da Universidade Católica Dom Bosco, Campo Grande - MS.

Matemática Atual

Informações sobre Matemática, Educação Matemática, e ainda Cultura e História da Matemática.

Matemática Contemporânea

Revista, publicação da Sociedade Brasileira de Matemática.

Matemática Essencial

Taxas de juros e prestações, Conjuntos, Geometria Plana, Vetores, Bibliografia, Fórmula de Tartáglia, Raízes de Equações do 3º e 2º graus, calculadora, cálculos de áreas e volumes de regiões especiais.

Matemática Financeira

Curso On Line de Matemática Financeira.

Matemática na 
UFRGS

Ensino de Matemática - material para professores e alunos.

Matemática no 
Mundo Atual

Teoria Matemática da Probabilidade; Teoria da Relatividade de Einstein; Geometrias não Euclidianas; Estatística, muito mais.

Matemática para 
vestibular

Relações Binárias, Teoria dos Conjuntos, Funções, Análise Combinatória, Logaritmos, Lógica Matemática, Geometria Analítica e outros tópicos.

MatNet

Conversando sobre Matemática.

NETMÁTICA

Clube de Matemática da Escola Secundária de Eçade Querós - Lisboa.

Novidades na 
Matemática

Assuntos de interesse no campo da matemática, como o maior número primo já descoberto.

On-Line Calculator

On-Line Calculator

O Stomachion

Um dos mais antigos quebra-cabeças geométrico que se conhece: invenção de Arquimedes.

Professor Edmilson 

Softwares Matemáticos -Dúvidas e Problemas de Matemática – Links.

Polígonos Gigantes

Um 400-ágono e o desafio de construir mega-polígonos.

Problemas Curiosos

Problemas selecionados da obra de Martim Gardner, Raymond Smullyan e da coleção Matemática Atual.

Projeto Educ@r

Apoio ao ensino de matemática para professores de 1º grau.

Telecurso 2000

Aulas de Matemática para o Primeiro Grau. Ensino Fundamental.

Telecurso 2000

Aulas de Matemática para o Segundo Grau. Ensino Médio.

Temas de 
Matemática

A Lógica Matemática. A Linguagem Matemática. Funções Afins. Análise Combinatória. Probabilidade.

Textos sobre 
Arquimedes

Poderosas alavancas da ciência - Educação exemplar na terra dos faraós - Sem comer e sem dormir, o gênio pensa - Eureka! - A criação de um mundo de modernidades - A guerra dos engenhos - Espelhos assassinos e incendiários - A cidade de Arquimedes.

The Geometry Center

Computação e Visualização de Estruturas Geométricas.

Aulas de Matemática para o 1º Grau

Material didático do Telecurso 2000

Aulas de Matemática para o 2º Grau

Material didático do Telecurso 2000

Curso de Matemática para 1ª a 4ª série

Curso básico de matemática com explicações e exercícios. 

Matemática Essencial 

Notas de aulas de matemática para o Ensino Fundamental, Médio e Superior. 

Matemática no Mundo Atual 

O site fala sobre a história da matemática e das importantes descobertas nesta área, 

Matemática para Vestibular 

Todos os tópicos do vestibular de matemática estão aqui explicados com resumos da teoria, fórmulas e - é claro! - muitos exercícios propostos e resolvidos. 

MatNet - Conversando Sobre Matemática 

Se você não gosta de matemática, comece por aqui! 

 

Entrada no Museu FMET

INTRODUÇÃO / O QUE É O PROJETO / FINALIDADES BÁSICAS  /

ASPECTOS FUNCIONAIS DO PROJETO   /COMO IRÁ SUBSISTIR   / ESTATUTO DA FMET  / LOGOTIPO / TUNEL DO TEMPO / PERSONALIDADES HISTÓRICAS /

CONHEÇA UM POUCO SOBRE  / LINKS E REFERÊNCIA BIBLIOGRÁFICAS NORMAS - PADRÕES - PRÁTICAS

 

Hosted by www.Geocities.ws

1