Want to create interactive content? It’s easy in Genially!

Get started free

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:

Halloween Infographic

Halloween List 3D

Magic and Sorcery List

Journey Map

Versus Character

Akihabara Connectors Infographic Mobile

Mobile mockup 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