Riyazi məntiqə giriş
- Sərlövhə:
- Riyazi məntiqə giriş
- Müəllif:
- Əliyev N. Ə.
- Nəşr ili:
- 2017
- Annotasiya:
- 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.
Biblioqrafik təsvir
Ə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.