קידוד גדל (Q1451046)
קפיצה לניווט
קפיצה לחיפוש
מונח בלוגיקה מתמטית
- מספור גדל
| שפה | תווית | תיאור | ידוע גם בשם |
|---|---|---|---|
| עברית | קידוד גדל |
מונח בלוגיקה מתמטית |
|
| אנגלית | Gödel numbering |
assignment of each symbol and well-formed formula of a formal language a unique natural number |
קביעוֹת
מזהים
קישורי אתר
ויקיפדיה(18 רשומות)
- bnwiki গ্যোডেল সংখ্যা
- cawiki Nombre de Gödel
- dewiki Gödelnummer
- elwiki Αρίθμηση Γκέντελ
- enwiki Gödel numbering
- eswiki Numeración de Gödel
- frwiki Codage de Gödel
- hewiki קידוד גדל
- itwiki Numero di Gödel
- jawiki ゲーデル数
- nlwiki Gödelnummer
- ptwiki Número de Gödel
- ruwiki Нумерация Гёделя
- simplewiki Gödel number
- slwiki Gödlovo število
- ukwiki Нумерація Геделя
- zh_yuewiki Gödel號數
- zhwiki 哥德尔数