biçimsel dizge

biçimsel dizge İng. formal system, syntactical system, calculus, logistic system, deductive system, axiomatic system

(i) bir mantıksal dizge, (ii) özel ilksavlar kümesi, (iii) kanıtsavlar kümesi'nden oluşan dizge. ||Anl. dizimsel dizge, tümdengelimli dizge, ilksavlı dizge. Krş.. mantıksal dizge, kuram, ilksavlı kuram.


biçimsel dizge için benzer kelimeler


biçimsel dizge, 14 karakter ile yazılır. Ayrıca, b harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise, 'b', 'i', 'ç', 'i', 'm', 's', 'e', 'l', ' ', 'd', 'i', 'z', 'g', 'e', şeklindedir.
biçimsel dizge kelimesinin tersten yazılışı egzid lesmiçib diziliminde gösterilir.