Satisfacibilidad Lógica Resuelta

¿Quieres saber cómo hacer una web? ¿Tienes problemas con divx o mp3? Este es el foro para pedir ayuda sobre cualquier tipo de cuestión técnica.

Satisfacibilidad Lógica Resuelta

Notapor Oyente » 25 Oct 2007, 12:30

Bueno, muchos sabíais en este foro que estaba escribiendo un libro que, de hecho, era de informática. Pues bien, ya está publicado.

http://www.trafford.com/07-1729

Sólo deseo tener suerte suficiente como para que la gente quiera leerlo antes de juzgarlo.
"Satisfacibilidad Lógica Resuelta", al fin lo publiqué.

No a las mafias. No al Gobierno ¿Para cuándo una caza de brujas?
Avatar de Usuario
Oyente
Kami-sama
 
Mensajes: 2171
Registrado: 04 Jul 2006, 10:38
Ubicación: Intentando emigrar del país de los encubrimientos

Notapor Samu » 25 Oct 2007, 15:19

Suerte [king]
Imagen
Avatar de Usuario
Samu
Kami-sama
 
Mensajes: 2823
Registrado: 26 Ago 2003, 12:36
Ubicación: Stuck in the middle with you.

Notapor norbait » 25 Oct 2007, 15:29

Suerte :mrgreen:




aunque yo no lo pienso comprar. :sweat:
Imagen
Avatar de Usuario
norbait
Kami-sama
 
Mensajes: 3277
Registrado: 16 Ene 2007, 14:00

Notapor solidsnake3842 » 25 Oct 2007, 18:51

Yo tambien te deseo mucha suerte Oyente, ya nos contaras :wink:
Viva Linux!! Muerte a Bill Gates!!
http://blogsanosuke.blogspot.com
Entra en mi Blog, tengo animes y series en descarga directa >__<
Avatar de Usuario
solidsnake3842
Senpai
 
Mensajes: 595
Registrado: 24 Jun 2005, 00:12
Ubicación: En Algun Lugar de Matrix...

Notapor ArU » 25 Oct 2007, 23:33

Tio que chungo el libro, de que va exactamente? Porque asi con el titulo y pese a la descripcion, sigo sin enterarme.
Imagen
Avatar de Usuario
ArU
Kami-sama
 
Mensajes: 3193
Registrado: 09 Nov 2003, 18:04
Ubicación: ...eNReDaDo SieMPRe eNTRe aLGaS...

Notapor Oyente » 26 Oct 2007, 10:40

El libro trata sobre la resolución de un problema de lógica...

Es bastante famoso. Se llama satisfacibilidad, consiste en escribir una fórmula de la lógica con X variables, decir qué resultado tiene que salir, y la técnica te devuelve los valores que deberían tomar las variables.

(Es como si escribieras; 2x=10 y yo te respondo x=5)

Además el libro trata de todo lo necesario para que alguien a quien le guste la informática, pero no tenga ni idea, pueda entender el problema y su solución.

Y expongo problemas abiertos para que los programe, y le enseño a programar....

En fin, suficiente publicidad, digo yo... ::)
"Satisfacibilidad Lógica Resuelta", al fin lo publiqué.

No a las mafias. No al Gobierno ¿Para cuándo una caza de brujas?
Avatar de Usuario
Oyente
Kami-sama
 
Mensajes: 2171
Registrado: 04 Jul 2006, 10:38
Ubicación: Intentando emigrar del país de los encubrimientos

Notapor ArU » 26 Oct 2007, 21:35

Mola.
Imagen
Avatar de Usuario
ArU
Kami-sama
 
Mensajes: 3193
Registrado: 09 Nov 2003, 18:04
Ubicación: ...eNReDaDo SieMPRe eNTRe aLGaS...

Notapor Fingon el valiente » 27 Oct 2007, 11:43

[scratchchin] Interesante,interesante, aunque como yo no soy muy fan de esto de la informatica..... suerte de todos modos tio.
Mantente ávido por saber y tal vez llegarás a ser sabio.
-Isocrates-
Avatar de Usuario
Fingon el valiente
Sensei
 
Mensajes: 1414
Registrado: 11 Ago 2004, 21:55
Ubicación: Bajo la tienda de Urahara entrenando

Notapor Oyente » 27 Oct 2007, 13:24

Nada, ya veremos como me sale el invento..., a raíz de la rentabilidad de esta inversión me valdrá o no la pena la actividad.
"Satisfacibilidad Lógica Resuelta", al fin lo publiqué.

No a las mafias. No al Gobierno ¿Para cuándo una caza de brujas?
Avatar de Usuario
Oyente
Kami-sama
 
Mensajes: 2171
Registrado: 04 Jul 2006, 10:38
Ubicación: Intentando emigrar del país de los encubrimientos


Volver a Techie Talk

¿Quién está conectado?

Usuarios navegando por este Foro: No hay usuarios registrados visitando el Foro y 1 invitado

cron