Semántica de los programas lógicos
La semantica da signicado a los programas y permite describir formalmente lo que calculan. Hay tres maneras bien conocidas de dar signicado o semantica a los programas logicos: la semantica declarativa, la semantica operacional y la semantica denotacional (comunmente llamada semantica de punto fijo).
Estudia
Caracteristicas
Tabla lógica
Semántica declarativa
Semántica Operacional
Semántica punto fijo
Semántica de los programas lógicos
KARLA JACQUELIN CARDOSO IBARRA
Created on November 17, 2022
Start designing with a free template
Discover more than 1500 professional designs like these:
View
Akihabara Connectors Infographic
View
Essential Infographic
View
Practical Infographic
View
Akihabara Infographic
View
Interactive QR Code Generator
View
Witchcraft vertical Infographic
View
Halloween Horizontal Infographic
Explore all templates
Transcript
Semántica de los programas lógicos
La semantica da signicado a los programas y permite describir formalmente lo que calculan. Hay tres maneras bien conocidas de dar signicado o semantica a los programas logicos: la semantica declarativa, la semantica operacional y la semantica denotacional (comunmente llamada semantica de punto fijo).
Estudia
Caracteristicas
Tabla lógica
Semántica declarativa
Semántica Operacional
Semántica punto fijo