¡Envío gratis y en 1 día!* a Península + 5% dcto  ¡Ver más!

menú

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Solucionador SAT polinómico Zhegalkin (en Inglés)
Formato
Libro Físico
Idioma
Inglés
N° páginas
52
Encuadernación
Tapa Blanda
Dimensiones
22.9 x 15.2 x 0.3 cm
Peso
0.09 kg.
ISBN13
9786206413714

Solucionador SAT polinómico Zhegalkin (en Inglés)

Jorge Fernández (Autor) · Our Knowledge Publishing · Tapa Blanda

Solucionador SAT polinómico Zhegalkin (en Inglés) - Fernández, Jorge

Libro Nuevo

56,33 €

59,29 €

Ahorras: 2,96 €

5% descuento
  • Estado: Nuevo
  • Quedan 82 unidades
Origen: Estados Unidos (Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el Miércoles 17 de Julio y el Miércoles 31 de Julio.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Solucionador SAT polinómico Zhegalkin (en Inglés)"

Los sistemas polinómicos son herramientas fundamentales en la solución de problemas difíciles en ciencia e ingeniería como la robótica, el razonamiento automatizado, la inteligencia artificial y el procesamiento de señales. Del mismo modo, desde los inicios de la era digital, las variables booleanas han sido la base de las operaciones informáticas. De ahí que la aplicación de técnicas algebraicas comunes al álgebra booleana se utilice ahora como método para resolver complejos sistemas de ecuaciones booleanas que antes sólo se pretendían resolver utilizando técnicas de lógica booleana. El objetivo de este proyecto es demostrar que los polinomios de Zhegalkin (también conocidos como Forma Algebraica Normal - ANF) son una forma alternativa de representar funciones booleanas. Para probar la hipótesis, se desarrolló un solucionador SAT de Zhegalkin (ZPSAT). Los resultados obtenidos tras las pruebas concluyeron que ZPSAT puede resolver una conjunción de ecuaciones XOR de forma eficiente en términos de fiabilidad y tiempo de computación. La heurística utilizada para construir ZPSAT se basó principalmente en los conceptos utilizados por las fórmulas de Horn y un método de multiplicación rápida de dos polinomios ANF conocido como transformada de Mobius.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes