תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- [[קטגוריה:לוגיקה]] ...2 ק"ב (71 מילים) - 21:05, 12 באוקטובר 2024
- 3 ק"ב (253 מילים) - 16:22, 2 בפברואר 2019
דפים עם תוכן תואם
- [[קטגוריה:לוגיקה]] ...2 ק"ב (71 מילים) - 21:05, 12 באוקטובר 2024
- ...וא חשוב ואולי אף הכרחי, כלומר, יש צורך לדעת לכתוב הוכחות מתמטיות פורמליות, לוגיקה בסיסית ואינטואיציה טובה של תורת הקבוצות. כן רצויה בקיאות כלשהי באלגברה בסיס ...3 ק"ב (11 מילים) - 05:33, 4 בינואר 2011
- ...math> [[w:גדול מספיק|גדול מספיק]] מתקיים <math>0<N<1</math>. '''[[w:סתירה (לוגיקה)|סתירה]].''' ...2 ק"ב (265 מילים) - 17:30, 4 בינואר 2025
- בתורת ה[[לוגיקה מתמטית|לוגיקה המתמטית]], קשר לוגי הוא סימן אשר פועל על פסוקים אשר ניתן להעריך אם הם אמת א ...8 ק"ב (227 מילים) - 07:43, 24 באוגוסט 2017
- בתורת ה[[לוגיקה מתמטית|לוגיקה המתמטית]], קשר לוגי הוא סימן אשר פועל על פסוקים אשר ניתן להעריך אם הם אמת א ...9 ק"ב (216 מילים) - 11:14, 12 בפברואר 2017
- ...ם|פולינום]] בעל [[w:שדה המספרים הרציונליים|מקדמים רציונליים]] ([[w:שקילות (לוגיקה)|ניסוח שקול]]: בעל [[w:חוג המספרים השלמים|מקדמים שלמים]]). ...5 ק"ב (459 מילים) - 12:30, 19 בפברואר 2025
- ...th> [[w:גדול מספיק|גדול מספיק]] מתקיים <math>0<|N|<1</math>. '''[[w:סתירה (לוגיקה)|סתירה]].''' ...6 ק"ב (727 מילים) - 20:22, 28 בינואר 2025
- ...יעים שקיימים, ולו שימושים רבים ב[[w:חישוביות|חישוביות]], [[w:לוגיקה מתמטית|לוגיקה]] ו[[w:תורת הקבוצות|תורת הקבוצות]]. פרק זה יהיה מעט פילוסופי, וקצת יסטה מהק ...25 ק"ב (929 מילים) - 17:02, 21 בספטמבר 2014
- ישנם מספר סימונים מתמטיים נוספים מתחום ה[[לוגיקה]] שחשוב להכיר וגם בהם נעשה שימוש בהמשך. ...14 ק"ב (338 מילים) - 21:27, 23 ביוני 2021
- דרך אגב הטבלה הזאת מוכרת [[W:לוגיקה בוליאנית|בלוגיקה]] [[W:טבלת אמת|כטבלת אמת]] של "וגם" לשתי טענות, ...13 ק"ב (200 מילים) - 23:16, 5 ביוני 2017