Microsoft publicará 17 boletines el próximo martes

Los próximos martes de cada mes el Gigante de Microsoft ha anunciado que en esta ocasión se esperan 17 boletines de seguridad que solucionarán 64 vulnerabilidades. 13 de los boletines van destinados a Microsoft Windows, 4 a Microsoft Office (uno compartido entre ambos) y otro a "Microsoft DeveloperTools and Software".

Más Información:

Microsoft Security Bulletin Advance Notification for April 2011
http://www.microsoft.com/technet/security/Bulletin/MS11-apr.mspx

Reglas de inferencia

Basándonos en la lógica matemática, una regla de inferencia es un diseño para construir deducciones válidas de un conjunto de antecedentes. Estos diseños establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una afirmación llamada conclusión.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas afirmaciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser válido, o mejor dicho, preservar la validez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las afirmaciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
Tenemos algunas reglas de inferencia clásicas

Algunas de las reglas de inferencia más conocidas son:

En la lógica proposicional:

Modus ponendo ponens

Modus ponendo tollens

Modus tollendo ponens

Modus tollendo tollens

Silogismo hipotético

Silogismo disyuntivo

En la lógica de primer orden:

Regla de Generalización universal

En la lógica modal:

Regla de Necesitación

Quisiera hablar sobre Modus ponendo ponens y modus ponendo tollens

El modus PONENDO PONENS (en latín, modo que afirmando afirma), también llamado MODUS PONENS y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B

A

Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del MODUS PONENS podría ser:

A= deporte

B=saludable

Si hace deporte, entonces esta saludable.

Hace deporte.

Por lo tanto, esta saludable.

En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:

O bien A, o bien B

A

Por lo tanto, no B

Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:

A=nublado

B=despejado

O bien esta nublado, o bien esta despejado.

Esta nublado.

Por lo tanto, no esta despejado.

Google aplicará férreo control a desarrolladores de la plataforma Android

En los dos ultimos meses, Google ha notificado a los grandes fabricantes y operadores de telefonía móvil, en el sentido que ya no aceptará los cambios unilaterales y antojadizos en Android, ni tampoco las alianzas con terceros, sin contar con la aprobación de Google.
Lo ironico de esta noticia es de que google iso hasta lo imposible para que las grandes fabricantes y operadores moviles se interezaran por Android y hoy les esta negando su libertad de modificacion.

sistema experto DIPOEM V001

 este es el enlace donde lo pudes descargar al archivo .jar
 DIPOEM V001

Apple ha lanzado el Apple Software Customer Seeding

Es un programa que los clientes pueden probar las versiones de los productos de software antes de su lanzamiento para ofrecer a los ingenieros de software de Apple sugerencias y opiniones sobre la verdadera calidad de los productos, pero lamentablemente éste programa sólo está disponible para aquellos que han recibido una invitación por correo electrónico,

“Este programa es diseñado para clientes, no para desarrolladores”, dijo Apple.

“Las compilaciones de software no son para todos. Los participantes que prueban el software en desarrollo deben tolerar la naturaleza imperfecta de un producto previo al estreno. Siempre existe el riesgo de sufrir pérdidas de datos”, añadió Apple.

para mayor informacion visitar la pgina de apple gracias.
http://www.apple.com/macosx/lion/

Sistema experto para detectar un posible embarazo

Descripción: El sistema detectara posibles embarazos basándose en síntomas de los pacientes

 Datos                                                       valor

• Aumento de tamaño mamario                                                    si, no

·  Es regular                                                                                        si, no

• Cansancio                                                                                       si, no

·  sueño                                                                                                si, no

• Pequeño sangrado vaginal                                                          si, no

• Náuseas                                                                                          si, no

·  vómitos                                                                                             si, no

• Mayor percepción de olores                                                        si, no

·  Apetencia                                                                                         si, no

• Repulsión de ciertos alimentos                                                 si, no

• Disminución de la tensión arterial                                             si, no

• Mareos                                                                                             si, no

·  Desmayos                                                                                       si, no

• Aumento de la frecuencia miccional                                         si, no

• Atraso menstrual                                                                           si, no

• Aumento de la temperatura corporal                                         si, no

• Aumento de tamaño del abdomen                                            si, no

• Dolores pelvianos                                                                         si, no

• Constipación                                                                                  si, no

·  Flatulencia                                                                                       si, no

Reglas

·        Si Aumento de tamaño mamario y es regular y Cansancio y sueño y pequeño sangrado vaginal  y atraso menstrual  entonces 

Posible embarazo    

                                              

·         Si náuseas y vómitos y mayor percepción de olores y repulsión de ciertos alimentos y disminución de la tensión arterial y mareos y desmayos entonces

Posible embarazo                         

                                         

·         Si aumento de la frecuencia miccional y atraso menstrual y aumento de la temperatura corporal y   aumento de tamaño del abdomen y dolores pelvianos y constipación y flatulencia entonces

Posible embarazo              

                                    

·         Si es regular y tiene atraso menstrual entonces

Posible embarazo 

·         Si náuseas y vómitos y aumento tamaño mamario y atrazo mestrual y aumento de tamaño del abdomen

Posible embarazo

·         SiConstipación y flatulencia y Dolores pelvianos y Aumento de la temperatura corporal y Apetencia o repulsión de ciertos alimentos

Posible embarazo

·         Si es regular y tiene atraso menstrual y Mayor percepción de oloresentonces

Posible embarazo