15 relações: Ciência da computação, Hardware, Lógica, Lógica temporal, Linguagem de programação, Linguagem formal, Rede de Petri, Semântica axiomática, Semântica categorial, Semântica denotacional, Semântica natural, Semântica operacional, Semântica operacional estruturada, Teoria das categorias, Teoria do significado.
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!!: Semântica formal e Ciência da computação · Veja mais »
Hardware
Equipamentos de computadores. O hardware (pronúncia: 'rarduér') é um termo técnico (e anglicismo de engenharia eletrônica) que foi traduzido para a língua portuguesa como equipamento, e pode ser definido como um termo geral da língua inglesa, que se refere à parte física de computadores e outros sistemas microeletrônicos.
Novo!!: Semântica formal e Hardware · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Semântica formal e Lógica · Veja mais »
Lógica temporal
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo.
Novo!!: Semântica formal e Lógica temporal · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Semântica formal e Linguagem de programação · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Semântica formal e Linguagem formal · Veja mais »
Rede de Petri
Uma rede de Petri ou rede de transição é uma das várias representações matemáticas para sistemas distribuídos discretos.
Novo!!: Semântica formal e Rede de Petri · Veja mais »
Semântica axiomática
Semântica axiomática é uma abordagem de semântica formal.
Novo!!: Semântica formal e Semântica axiomática · Veja mais »
Semântica categorial
Semântica categorial é o nome que designa diversas abordagens de semântica formal baseadas em teoria das categorias.
Novo!!: Semântica formal e Semântica categorial · Veja mais »
Semântica denotacional
Semântica denotacional designa uma abordagem de semântica formal.
Novo!!: Semântica formal e Semântica denotacional · Veja mais »
Semântica natural
Semântica natural é uma das abordagens de semântica formal.
Novo!!: Semântica formal e Semântica natural · Veja mais »
Semântica operacional
Semântica operacional é uma das abordagens de semântica formal, em que o significado de uma construção da linguagem é especificado pela computação que ela induz quando executada em uma máquina hipotética.
Novo!!: Semântica formal e Semântica operacional · Veja mais »
Semântica operacional estruturada
Semântica operacional estruturada é uma das abordagens de semântica formal.
Novo!!: Semântica formal e Semântica operacional estruturada · Veja mais »
Teoria das categorias
Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.
Novo!!: Semântica formal e Teoria das categorias · Veja mais »
Teoria do significado
Em filosofia, existem dois tipos principais de teoria do significado: a teoria fundamental e a teoria semântica.
Novo!!: Semântica formal e Teoria do significado · Veja mais »