Riyazi məntiqə giriş
- Title:
- Riyazi məntiqə giriş
- Author:
- Əliyev N. Ə.
- Publication date:
- 2017
- Annotation:
- Kitabda riyazi məntiq sahəsi üzrə standart proqramlardan əlavə xeyli məlumat var. Dərslikdə semantika, formalizm, induksia və rekursia, MM semantikaları, MM nəzəriyyələri, həll-olunma və effektiv nömrələmə və s. adlı mövzular verilmişdir.
Bibliographic description
Əliyev, N. Ə. Riyazi məntiqə giriş: dərs vəsaiti / N. Ə. Əliyev, R. H. Əhmədov, O. M. Məmmədov; elmi red. V. M. Cabbarzadə; Bakı Dövlət Universiteti.- Bakı: Ləman Nəşriyyat Poliqrafiya MMC, 2017.- 100 s.