Riyazi məntiqə giriş
- Заглавие:
- Riyazi məntiqə giriş
- Автор:
- Əliyev N. Ə.
- Год издания:
- 2017
- Аннотация:
- 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.
Библиографическое описание
Ə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.