Matemáticas :: lógica Matemáticas :: Logic es un módulo PERL que proporciona una lógica pura 2, 3 o Multi-Value.
Descargar ahora

Matemáticas :: lógica Clasificación y resumen

Matemáticas :: lógica Etiquetas

matemático Módulo perl Lógica de valor múltiple Valores matemáticos de valor múltiple

Matemáticas :: lógica Descripción

Matemáticas :: lógica es un módulo PERL que proporciona una lógica pura 2, 3 o de valor múltiple. Matemáticas :: Logic es un módulo PERL que proporciona Logic Pure 2, 3 o Logics Multi-Value.Synopsis Matemáticas :: Logic QW ($ True $ Falso $ UNDEF $ STR_TRUE $ STR_FALSE $ STR_UNDEF); # 10 -1 'Verdadero' 'Falso' 'UNDEF' Usa Matemáticas :: lógica ': NUM'; # $ Verdadero $ falso $ UNDEF: lo que normalmente desea usar Matemáticas :: lógica ': todo'; # Todas las constantes usan matemáticas :: lógica ': STR'; # $ Str_true $ str_false $ str_undef # 2-grados lógica My $ True = Matemáticas :: Logic-> Nuevo (-Value => $ True, -DEGREE => 2); MY $ FALSE = MATEMÁTICOS :: LOGIC-> Nuevo (-Value => $ FALSO, -DEGREE => 2); My $ X = Matemáticas :: Logic-> New_from_String ('True, 2'); Imprimir "verdadero" si $ true; Lógica de # 3 grados (no propagación) My $ True = Matemáticas :: Logic-> Nuevo (-Value => $ True, -DEGREE => 3); My $ False = Matemáticas :: Logic-> Nuevo (-Value => $ FALSO, -DEGREE => 3); My $ UNDREF = Matemáticas :: Logic-> Nuevo (-Value => $ UNDEF, -DEGREE => 3); My $ X = Matemáticas :: Logic-> New_from_String ('Falso, 3'); Imprimir "verdadero" si ($ verdadero | $ UNDEF) == $ True; Lógica de # 3 grados (propagación) My $ True = Matemáticas :: lógica-> Nuevo (-Value => $ True, -Propagate => 1); My $ False = Matemáticas :: lógica-> Nuevo (-Value => $ FALSE, -DEGREE => 3, -propagate => 1); My $ UNDEF = Matemáticas :: lógica-> Nuevo (-Value => $ UNDEF, -DEGREE => 3, -propagate => 1); My $ X = Matemáticas :: Logic-> New_from_String ('(UNDEF, 3, -Propagate)'); Imprimir "UNDEF" si ($ True | $ UNDEF) == $ UNDEF; # lógica de múltiples grados My $ True = 100; # Definir nuestro propio verdadero mis $ falso = $ falso; My $ True = Matemáticas :: Logic-> Nuevo (-Value => $ True, -Degree => $ verdadero); My $ Muy = Matemáticas :: Logic-> Nuevo (-Value => 67, -degree => $ verdadero); My $ Fausa = Matemáticas :: lógica-> Nuevo (-Value => 33, -DEGREE => $ verdadero); My $ False = Matemáticas :: Logic-> Nuevo (-Value => $ FALSO, -DEGREE => $ True); My $ X = Matemáticas :: Logic-> New_from_String ("25, $ True"); Imprima "Tal vez" si ($ Muy | $ bastante)> 50; # Podemos tener expresiones arbitrariamente complejas; El resultado es un objeto de matemática :: lógica #; Todos los argumentos deben ser matemáticos :: objetos lógicos o cosas que pueden ser # promovidas en tales y deben ser compatibles. El resultado depende del # qué tipo de lógica se está utilizando. My $ XOR = ($ x | $ y) y (! ($ x y $ y)); # Esto es idéntico a: mis operadores lógicos incorporados de $ xor = $ x x ^ $ y; y, o, xor y no admiten lógica de 2 valores. Esto significa que siempre producen un resultado que es verdadero o falso. De hecho, PERL a veces regresa 0 y, a veces, devuelve el UNDEF para FALSO, dependiendo del operador y del orden de los argumentos. Para "Verdadero" Perl, generalmente, devuelve el primer valor que se evalúa con verdadero, lo que resulta ser extremadamente útil en la práctica. Dado que se prefieren los operadores lógicos incorporados de la elección Perl, pero cuando realmente desea lógica de lógica de 2 grados o lógica de 3 grados o lógica de varios grados, están disponibles a través de este módulo. Los valores lógicos de 2 grados son 1 (Verdadero) y 0 (Falso). Los solo valores lógicos de 3 grados son 1 (verdadero), 0 (Falso) y -1 (UNDEF). Tenga en cuenta que el UNDEF es -1 ¡NO UNDEF! Los únicos valores lógicos de múltiples grados son 0 (Falso). Grado: el valor de VERDADERO es igual al grado, generalmente 100.El valor máximo (excepto por Lógica de 2 y 3 grados); I.E. La lógica de N-GRIDE es la lógica de N + 1-Value, por ejemplo. Lógica de 100 grados tiene 101 valores, 0..100. Aunque se pueden exportar algunas constantes útiles, este es un módulo de objeto y los resultados de las comparaciones lógicas son las matemáticas :: objetos lógicos. Requisitos: · Requisitos de Perl: · Perl

Matemáticas :: lógica Software relacionado