Azərbaycan Milli Ensiklopediyası
IX CİLD (FEDİNQ - EMİN)
    FORMAL SİSTEM

    FORMAL SİSTEM – interpretasiya olunmamış hesablama. İfadәlәr (düsturlar) sinfi adәtәn induktiv (ilkin düsturlar vә düstur yaratmaq qaydaları vasitәsilә) şәkildә, isbat edilmәli düsturların altsiniflәri isә aksiomlar vә nәticәçıxarma teoremlәri sisteminin aksiomlardan vә isbat edilmiş teoremlәrdәn alınması yolu ilә verilir. F.s.-in müxtәlif sinonimlәri var; formal nәzәriyyә, formal riyaziyyat, formalizm, formal hesablama, mücәrrәd hesablama, sintaktik sistem, aksiomatik sistem, mәntiqi sistem, formalaşdırılmış dil, formal mәntiq, kondifikat, deduktiv sistem vә s.

Sərlövhə: Azərbaycan Milli Ensiklopediyası, “Azərbaycan” xüsusi cildi (Azərbaycan dilində)
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili: 2007
ISBN: 978-9952-441-01-7
Səhifələrin sayı: 881
Sərlövhə: Azərbaycan Milli Ensiklopediyası, I CİLD
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili: 2009
ISBN: 978-9952-441-02-4
Səhifələrin sayı: 608
Sərlövhə: Azərbaycan Milli Ensiklopediyası, II CİLD
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili: 2010
ISBN: 978-9952-441-05-5
Səhifələrin sayı: 604
Sərlövhə: Azərbaycan Milli Ensiklopediyası, III CİLD
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili: 2011
ISBN: 978-9952-441-07-9
Səhifələrin sayı: 604
Sərlövhə: Azərbaycan Milli Ensiklopediyası, “Azərbaycan” xüsusi cildi (rus dilində)
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili: 2012
ISBN: 978-9952-441-01-7
Səhifələrin sayı: 881
Sərlövhə: Azərbaycan Milli Ensiklopediyası, IV CİLD
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili: 2013
ISBN: 978-9952-441-03-1
Səhifələrin sayı: 608
Sərlövhə: Azərbaycan Milli Ensiklopediyası, V CİLD
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili: 2014
ISBN: 978-9952-441-10-9
Səhifələrin sayı: 592
Sərlövhə: Azərbaycan Milli Ensiklopediyası, VI CİLD
Nəşriyyat: "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi
Nəşr yeri: Bakı
Nəşr ili 2015
ISBN: 978-9952-441-11-6
Səhifələrin sayı: 608
FEDİNQ – EMİN
    FORMAL SİSTEM

    FORMAL SİSTEM – interpretasiya olunmamış hesablama. İfadәlәr (düsturlar) sinfi adәtәn induktiv (ilkin düsturlar vә düstur yaratmaq qaydaları vasitәsilә) şәkildә, isbat edilmәli düsturların altsiniflәri isә aksiomlar vә nәticәçıxarma teoremlәri sisteminin aksiomlardan vә isbat edilmiş teoremlәrdәn alınması yolu ilә verilir. F.s.-in müxtәlif sinonimlәri var; formal nәzәriyyә, formal riyaziyyat, formalizm, formal hesablama, mücәrrәd hesablama, sintaktik sistem, aksiomatik sistem, mәntiqi sistem, formalaşdırılmış dil, formal mәntiq, kondifikat, deduktiv sistem vә s.

    FORMAL SİSTEM

    FORMAL SİSTEM – interpretasiya olunmamış hesablama. İfadәlәr (düsturlar) sinfi adәtәn induktiv (ilkin düsturlar vә düstur yaratmaq qaydaları vasitәsilә) şәkildә, isbat edilmәli düsturların altsiniflәri isә aksiomlar vә nәticәçıxarma teoremlәri sisteminin aksiomlardan vә isbat edilmiş teoremlәrdәn alınması yolu ilә verilir. F.s.-in müxtәlif sinonimlәri var; formal nәzәriyyә, formal riyaziyyat, formalizm, formal hesablama, mücәrrәd hesablama, sintaktik sistem, aksiomatik sistem, mәntiqi sistem, formalaşdırılmış dil, formal mәntiq, kondifikat, deduktiv sistem vә s.