Frases sobre Lógica
De Wiki DAINF
(Diferença entre revisões)
Linha 1: | Linha 1: | ||
* ''Lógica matemática é um assunto extremamente complicado'' | * ''Lógica matemática é um assunto extremamente complicado'' | ||
− | + | ** Adonai Sant'Anna em "O que é um Axioma", p. XX | |
− | 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 | + | |
− | + | ||
* ''(...) 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.'' | * ''(...) 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 | |
− | 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.'' | * ''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 | |
− | Walter Carrnielli e Marcelo Coniglio em "A lógica e o consortio daemoniorum", p.1 | + |
Edição de 16h39min de 15 de dezembro de 2008
- 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
- (...) 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