- Barajar
ActivarDesactivar
- Alphabetizar
ActivarDesactivar
- Frente Primero
ActivarDesactivar
- Ambos lados
ActivarDesactivar
- Leer
ActivarDesactivar
Leyendo...
Cómo estudiar sus tarjetas
Teclas de Derecha/Izquierda: Navegar entre tarjetas.tecla derechatecla izquierda
Teclas Arriba/Abajo: Colvea la carta entre frente y dorso.tecla abajotecla arriba
Tecla H: Muestra pista (3er lado).tecla h
Tecla N: Lea el texto en voz.tecla n
Boton play
Boton play
17 Cartas en este set
- Frente
- Atrás
|
Algoritmo
|
una secuencia ordenada de pasos para
resolver un problema. |
|
Los algoritmos nos abstraen de los detalles de
implementación ya que ________________________________________________________ |
ya que se pueden representar estructuras
matemáticas arbitrarias, como grafos o vectores. |
|
PlusCAL fue desarrollado para:
|
fue desarrollado para describir algoritmos.
|
|
PlusCAL
permite expresar_____________________________________ (a través de labels). Esto es importante para la ________________ de algoritmos _____________. |
permite expresar la atomicidad de una acción (a
través de labels). Esto es importante para la especificación de algoritmos concurrentes. |
|
PlusCAL permite realizar model checking sobre la
descripción del algoritmo de dos formas: |
1 modo simulación
2 chequeo de modelo |
|
modo simulación:
|
se realizan ejecuciones aleatorias del
algoritmo. |
|
chequeo de modelo:
|
se chequean todas las posibles
ejecuciones del algoritmo. |
|
¿Qué es +Cal?
|
+ CAL es un lenguaje de algoritmo basado en el TLA + . Un algoritmo +Cal se traduce a una especificación TLA +, que se puede comprobar con el TLC model checker.
|
|
+Cal permite especificar cosas basadas ________________________________________________________.
|
cosas basadas en teoría de conjuntos y lógica de primer orden.
|
|
Los algoritmos realizan operaciones en _________________________________________ tales como gráficas y espacios vectoriales.
|
Los algoritmos realizan operaciones en objetos matemáticos arbitrarios, tales como gráficas y espacios vectoriales.
|
|
Los programas realizan operaciones en _______________________________________________________ tales como booleanos y números enteros.
|
Los programas realizan operaciones en objetos simples, tales como booleanos y números enteros.
|
|
Los algoritmos son los pasos...
|
Los algoritmos son los pasos estructurados, entendibles
|
|
El creador de este lenguaje de algoritmos se llama
|
Leslie Lamport, Es un computòlogo estadounidense el cual es el creador de LaTex
|
|
PlusCal tiene dos sintaxis.
|
La mayoría de los usuarios prefieren el C-sintaxis, que se acerca más a la de los lenguajes basados en C como C # y Java. También hay un P-sintaxis que utiliza begin/do y end en lugar de las llaves {and}.
|
|
P-sintaxis
|
Significado de código mas claro y mas facilidad al encontrar errores de sintaxis
|
|
C-sintaxis
|
es mas corta y su formato de entrada deja el código lo suficientemente claro
|
|
assert
|
revisar los resultados
|
