13 relações: ACM, Asserção, Ciência da computação, Demonstração construtiva, Derivação formal, Especificação formal, GNU Lesser General Public License, Matemática, OCaml, Prova automática de teoremas, SIGPLAN, Software livre e de código aberto, Teorema.
ACM
* A Caribbean Mystery — romance policial de Agatha Christie, publicado em 1964, protagonizado pela detetive amadora Miss Marple.
Novo!!: Coq e ACM · Veja mais »
Asserção
Em computação, asserção (assertion) é um predicado que é inserido no programa para verificar uma condição que o desenvolvedor supõe que seja verdadeira em determinado ponto.
Novo!!: Coq e Asserção · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Coq e Ciência da computação · Veja mais »
Demonstração construtiva
Em matemática, ou ainda na filosofia, uma demonstração ou prova construtiva é uma demonstração da existência de certo objeto matemático através da sua construção.
Novo!!: Coq e Demonstração construtiva · Veja mais »
Derivação formal
Em lógica, uma derivação formal (ou prova formal) é uma sequência finita de sentenças onde cada sentença pode ser um axioma ou então pode ser obtida como consequência direta de sentenças anteriores na sequência utilizando-se uma regra de inferência.
Novo!!: Coq e Derivação formal · Veja mais »
Especificação formal
Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos.
Novo!!: Coq e Especificação formal · Veja mais »
GNU Lesser General Public License
A GNU Lesser General Public License, escrita em 1991 (e atualizada em 1999), é uma licença de software livre aprovada pela FSF e escrita como um meio-termo entre a GPL e licenças mais permissivas, tais como a licença BSD e a licença MIT.
Novo!!: Coq e GNU Lesser General Public License · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Coq e Matemática · Veja mais »
OCaml
Objective Caml, também conhecida como OCaml (Objective Categorical Abstract Machine Language), é uma linguagem de programação funcional da família ML, desenvolvida pelo INRIA em 1996.
Novo!!: Coq e OCaml · Veja mais »
Prova automática de teoremas
agda2 Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador.
Novo!!: Coq e Prova automática de teoremas · Veja mais »
SIGPLAN
SIGPLAN é um Grupo de Interesse Especial (Special Interest Group) em linguagens de programação da Association for Computing Machinery.
Novo!!: Coq e SIGPLAN · Veja mais »
Software livre e de código aberto
Os termos software de código livre e aberto, ou free and open source software (F/OSS, FOSS) em inglês, e software de código livre/libre/aberto, ou free/libre/open source software (FLOSS) em inglês, referem-se a um software que é duplamente livre e de código aberto.
Novo!!: Coq e Software livre e de código aberto · Veja mais »
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.
Novo!!: Coq e Teorema · Veja mais »