ABA


"עזרה בכתיבת תוכנית CNF ב- JAVA."
גירסת הדפסה        
קבוצות דיון לימודים, מדע ותרבות נושא #10643 מנהל    סגן המנהל    מפקח   Winner    צל"ש   מומחה  
אשכול מספר 10643
VW Golf 
חבר מתאריך 1.9.02
34207 הודעות
   10:07   26.11.10   
אל הפורום  
  עזרה בכתיבת תוכנית CNF ב- JAVA.  
 
   שלום,

אני צריך עזרה בכתיבת תוכנית של CNF, ב JAVA,

הפונקציה נקראת IS_satesfied,
כאשר S פסוג לוגי ב- CNF,
וכאשר M הוא מודל (הצבה של ערכי אמת במשתנים)

מישהו מכיר את הנושא הזה ב JAVA ?
ויכול לעזור.


                                שתף        
מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

  האשכול     מחבר     תאריך כתיבה     מספר  
  זה לא נושא שקשור ל-Java אלא זו רקורסיה ldan192  26.11.10 13:08 1

       
ldan192 
חבר מתאריך 14.9.08
95119 הודעות
   13:08   26.11.10   
אל הפורום  
  1. זה לא נושא שקשור ל-Java אלא זו רקורסיה  
בתגובה להודעה מספר 0
 
backtrack נפוצה ומוכרת למציאת השמה מספקת לביטוי בוליאני.

איפה נתקעת בדיוק? ועדיף שתפתח בפורום תכנות בעיניי


בברכה,
עידן


                                                         (ניהול: מחק תגובה)
מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

תגובה מהירה  למכתב מספר: 
 
___________________________________________________________________

___________________________________________________________________
למנהלים:  נעל | תייק בארכיון | מחק | העבר לפורום אחר | מחק תגובות | עגן אשכול
       



© כל הזכויות שמורות ל-רוטר.נט בע"מ rotter.net