תגית: חישוביות

24 פוסטים

• 2012-06-23

  יום הולדת 100 לאלן טיורינג!

• 2011-05-18

  משפט רייס - הגרסה המלאה

• 2009-11-27

  הפוסט שיודע להדפיס את עצמו

• 2009-09-10

  אז מה הקשר בין אוטומטים ופונקציות יוצרות?

• 2009-08-30

  אוטומטים סופיים ושפות רגולריות

• 2008-11-26

  הפוסט המעניין ביותר שלא ניתן לתאר בכותרת שלו

• 2007-10-23

  האם מכונות טיורינג חולמות על ריצופים של רבע המישור?

• 2007-10-23

  האם מכונות טיורינג חולמות על ריצופים של רבע המישור?

• 2007-10-17

  השארת הרצף

• 2007-10-09

  על הבעייה הלא טריוויאלית של זיהוי תכונה לא טריוויאלית

• 2007-10-06

  ומה הקשר של בעיית העצירה לאלכסון של קנטור?

• 2007-10-06

  ומה הקשר של בעיית העצירה לאלכסון של קנטור?

• 2007-09-27

  הוכחת בעיית העצירה - המכונה הזדונית נגד אליהו הנביא (ואיך זה קשור לפרדוקס ניוקומב ולתוכנות שמדפיסות את הקוד של עצמן)

• 2007-09-26

  בעיית העצירה

• 2007-09-24

  עוד מכונות מופלאות

• 2007-09-24

  עוד מכונות מופלאות

• 2007-09-23

  המכונה המופלאה

• 2007-09-20

  על תורה העומדת על כריעות תרנגולת

• 2007-09-18

  אל R מ-RE: מניה רקורסיבית באינסוף צעדים

• 2007-09-18

  אל R מ-RE: מניה רקורסיבית באינסוף צעדים

• 2007-09-15

  אלגוריתם סופי דטרמיניסטי (או: מה זה בכלל?)

• 2007-09-15

  אלגוריתם סופי דטרמיניסטי (או: מה זה בכלל?)

• 2007-09-14

  על משוואות דיופנטיות ושאר בעיות שהשוליים הללו צרים מלהכיל

• 2007-09-14

  על משוואות דיופנטיות ושאר בעיות שהשוליים הללו צרים מלהכיל

← חזרה לכל התגיות