גישה מהירה יותר מאשר בדפדפן!
20 יחסים: C (שפת תכנות), COBOL, PL/I, Python, Visual Basic, אם-אז, אלגברה בוליאנית, ערך אמת, פסוק (לוגיקה), פעולה אונארית, פעולה בוליאנית, פקודת IF, פקודת השמה, קשר לוגי, שפת תכנות, תנאי אמת, תחשיב הפסוקים, לוגיקה, לוגיקה מתמטית, טבלת אמת.
C (שפת תכנות)
שפת C היא שפת תכנות הכוללת מנגנוני בקרת זרימה ומבני נתונים פשוטים, ומאפשרת ניצול מרבי של יכולות המחשב, בדומה לשפת סף.
חָדָשׁ!!: לא (לוגיקה) וC (שפת תכנות) · ראה עוד »
COBOL
קובול (COBOL) ראשי תיבות של: Common Business Oriented Language (בתרגום חופשי: שפה פשוטה המכוונת לעסקים), היא שפת תכנות ותיקה, שמיועדת בעיקר לניהול ועיבוד נתונים.
חָדָשׁ!!: לא (לוגיקה) וCOBOL · ראה עוד »
PL/I
PL/I (קרי: "פי אל ואן", קיצור של Programming Language One) היא שפת תכנות אימפרטיבית, פרוצדורלית, שפותחה באמצע שנות ה-60 על ידי חברת IBM.
חָדָשׁ!!: לא (לוגיקה) וPL/I · ראה עוד »
Python
#הפניה פייתון.
חָדָשׁ!!: לא (לוגיקה) וPython · ראה עוד »
Visual Basic
#הפניה ויז'ואל בייסיק.
חָדָשׁ!!: לא (לוגיקה) וVisual Basic · ראה עוד »
אם-אז
אם-אז או קַשָּׁר הגרירה או אימפליקציה מטריאלית הוא קשר לוגי בלוגיקה מתמטית, שמסומן באמצעות \to.
חָדָשׁ!!: לא (לוגיקה) ואם-אז · ראה עוד »
אלגברה בוליאנית
אלגברה בוליאנית היא התחום המתמטי העוסק במבנים האלגבריים הקרויים "אלגברה בוליאנית", ובנושאים הקשורים לכך.
חָדָשׁ!!: לא (לוגיקה) ואלגברה בוליאנית · ראה עוד »
ערך אמת
ערך אמת הוא מונח בו משתמשים בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל.
חָדָשׁ!!: לא (לוגיקה) וערך אמת · ראה עוד »
פסוק (לוגיקה)
הפסוק הוא מאבני היסוד של תורת השפה, ואף על פי כן קשה ביותר להגדירו.
חָדָשׁ!!: לא (לוגיקה) ופסוק (לוגיקה) · ראה עוד »
פעולה אונארית
במתמטיקה, פעולה אונארית (או אופרטור אונארי) היא פעולה המתבצעת על איבר בקבוצה, ותוצאתה היא איבר בקבוצה.
חָדָשׁ!!: לא (לוגיקה) ופעולה אונארית · ראה עוד »
פעולה בוליאנית
פעולה בוליאנית היא פעולה הפועלת על קבוצה שבה שני איברים בלבד: שקר ואמת (או 0 ו-1).
חָדָשׁ!!: לא (לוגיקה) ופעולה בוליאנית · ראה עוד »
פקודת IF
#הפניה פקודת תנאי.
חָדָשׁ!!: לא (לוגיקה) ופקודת IF · ראה עוד »
פקודת השמה
בשפות תכנות, פקודת השמה היא פקודה המציבה ערך חדש במשתנה.
חָדָשׁ!!: לא (לוגיקה) ופקודת השמה · ראה עוד »
קשר לוגי
קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה.
חָדָשׁ!!: לא (לוגיקה) וקשר לוגי · ראה עוד »
שפת תכנות
המונח שפת תכנות אוגד בתוכו מספר שפות מחשב שהן תמיד לוגיות, ומשמשות לבניית תוכנה.
חָדָשׁ!!: לא (לוגיקה) ושפת תכנות · ראה עוד »
תנאי אמת
תנאי אמת הם התנאים אותם יש לדעת כדי שמשפט מסוים ישפט כאמיתי.
חָדָשׁ!!: לא (לוגיקה) ותנאי אמת · ראה עוד »
תחשיב הפסוקים
בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות.
חָדָשׁ!!: לא (לוגיקה) ותחשיב הפסוקים · ראה עוד »
לוגיקה
לוֹגִיקָה (מיוונית: λογική. בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות.
חָדָשׁ!!: לא (לוגיקה) ולוגיקה · ראה עוד »
לוגיקה מתמטית
לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מגלמות מושגים אינטואיטיביים, כגון הוכחה או חישוביות.
חָדָשׁ!!: לא (לוגיקה) ולוגיקה מתמטית · ראה עוד »
טבלת אמת
טבלת אמת היא טבלה שמשמשת בלוגיקה בוליאנית ובתחשיב הפסוקים כדי להציג את כל הערכים האפשריים שביטוי מסוים יכול לקבל, בהתאם לערכים האפשריים של מרכיבי הביטוי, והיא מאפשרת לדעת מתי טיעון הוא תקף.
חָדָשׁ!!: לא (לוגיקה) וטבלת אמת · ראה עוד »
