खोज परिणाम

[[तर्कशास्त्र]], [[गणित]] व [[कम्प्यूटर विज्ञान]] में '''निर्वचन''' (interpretation) किसी [[औपचारिक भाषा]] के [[चिन्ह (औपचारिक)|चिन्हों]] के अब इस भाषा का एक सम्भव निर्वचन यह हो सकता है कि हम <math>\square</math> को '0' और <math>\triangle</math> क ...