Frases sobre Lógica

De Wiki DAINF
(Diferença entre revisões)
 
(5 edições intermediárias de um usuário não apresentadas)
Linha 1: Linha 1:
* ''Lógica matemática é um assunto extremamente complicado''
+
* ''"A lógica simbólica ou matemática é uma componente fundamental do arsenal de todo estudante ou profissional da ciência da computação, porque é parte integrante do fundamento de qualquer programa de computador, coletivamente chamado software: sem lógica, em especial a lógica clássica de proposições e predicados, e mesmo as lógicas modais e outras ditas não clássicas, pode-se até usar, copiar e piratear mas não se pode, analisar, avaliar ou produzir software."''
 +
** Walter Carrnielli e Marcelo Coniglio em "A lógica e o consortio daemoniorum", p.1
  
Adonai Sant'Anna em "O que é um Axioma", p. XX
+
* ''"Até hoje não se inventou nada melhor do que os conceitos da lógica para formalizar a especificação dos programas, a semântica das linguagens de programação, a análise de algoritmos, a teoria das bases de dados e a corretude dos programas, ou seja, a garantia de que tanto quanto possível os programas façaam aquilo que foi encomendado."''
 +
** Walter Carrnielli e Marcelo Coniglio em "A lógica e o consortio daemoniorum", p.1
  
 +
* ''"Lógica matemática é um assunto extremamente complicado"''
 +
** Adonai Sant'Anna em "O que é um Axioma", p. XX
  
* ''Não existe ramo da matemática, por mais abstrato ou 'imaginário' que seja, que não possa um dia vir a ser aplicado aos fenômenos do mundo real.''
+
* ''"Não existe ramo da matemática, por mais abstrato ou 'imaginário' que seja, que não possa um dia vir a ser aplicado aos fenômenos do mundo real."''
 +
** Adonai Sant'Anna em "O que é um Axioma", p.6
  
Adonai Sant'Anna em "O que é um Axioma", p.6
+
* ''"Estamos preocupados em usar lógica para descrever, especificar, verificar e raciocinar sobre programas."''
 
+
** Ian Hodkinson nos [http://www.doc.ic.ac.uk/~imh/teaching/140_logic/140.pdf ''slides'' de "140 Logic"]
 
+
* ''(...) A lógica simbólica ou matemática é uma componente fundamental do arsenal de todo estudante ou profissional da ciência da computação, porque é parte integrante do fundamento de qualquer programa de computador, coletivamente chamado software: sem lógica, em especial a lógica clássica de proposições e predicados, e mesmo as lógicas modais e outras ditas não clássicas, pode-se até usar, copiar e piratear mas não se pode, analisar, avaliar ou produzir software.''
+
 
+
Walter Carrnielli e Marcelo Coiglio em "A lógica e o consortio daemoniorum", p.1
+
 
+
* ''Até hoje não se inventou nada melhor do que os conceitos da lógica para formalizar a especificação dos programas, a semântica das linguagens de programação, a análise de algoritmos, a teoria das bases de dados e a corretude dos programas, ou seja, a garantia de que tanto quanto possível os programas façaam aquilo que foi encomendado.''
+
 
+
Walter Carrnielli e Marcelo Coiglio em "A lógica e o consortio daemoniorum", p.1
+

Edição atual tal como 18h27min de 17 de dezembro de 2008

  • "A lógica simbólica ou matemática é uma componente fundamental do arsenal de todo estudante ou profissional da ciência da computação, porque é parte integrante do fundamento de qualquer programa de computador, coletivamente chamado software: sem lógica, em especial a lógica clássica de proposições e predicados, e mesmo as lógicas modais e outras ditas não clássicas, pode-se até usar, copiar e piratear mas não se pode, analisar, avaliar ou produzir software."
    • Walter Carrnielli e Marcelo Coniglio em "A lógica e o consortio daemoniorum", p.1
  • "Até hoje não se inventou nada melhor do que os conceitos da lógica para formalizar a especificação dos programas, a semântica das linguagens de programação, a análise de algoritmos, a teoria das bases de dados e a corretude dos programas, ou seja, a garantia de que tanto quanto possível os programas façaam aquilo que foi encomendado."
    • Walter Carrnielli e Marcelo Coniglio em "A lógica e o consortio daemoniorum", p.1
  • "Lógica matemática é um assunto extremamente complicado"
    • Adonai Sant'Anna em "O que é um Axioma", p. XX
  • "Não existe ramo da matemática, por mais abstrato ou 'imaginário' que seja, que não possa um dia vir a ser aplicado aos fenômenos do mundo real."
    • Adonai Sant'Anna em "O que é um Axioma", p.6
  • "Estamos preocupados em usar lógica para descrever, especificar, verificar e raciocinar sobre programas."
Ferramentas pessoais