Neceri atbrīvoties no grāmatām (Umberto Eko)
+371 27000041, +371 27000045
(darba dienās 9:00-17:00 latviešu)
+371 27000041
+371 27000045

(darba dienās 10:00-17:00)

Diskrētā matemātika. Formālās loģiskās sistēmas un valodas

19.99 €
Nav noliktavā
Diskrētā matemātika. Formālās loģiskās sistēmas un valodas
19.99 €

Grāmatā ir ietverta pamatinformācija no formālās loģikas sistēmām. Tās ietver algebriskās loģikas funkcijas (Būla funkcijas), Posta teorēmu par funkcionālo pilnību, k-vērtību loģiku, Būla funkciju atvasinājumus, aksiomātiskās apgalvojumu kalkulas, predikātus, secības, rezolūcijas un programmēšanas valodu Prolog. Tiek aplūkota monādiskā loģika, galīgie automāti un to pārstāvētās valodas, temporālā loģika un aksiomātiskā programmēšanas valoda OBJ3.

Monādiskā loģika, galīgie automāti un to pārstāvētās valodas, temporālā loģika un aksiomātiskā programmēšanas valoda OBJ3.

Skatīt arī:

Jums varētu būt interesanti:

Excel 2019 Библия пользователя
Informācijas tehnoloģijas
Excel 2019 lietotāja Bībele
Alexander Michael, Kusleika Richard, Wokenbach John
99.99 €
Ielikt grozā
Компьютерные науки. Базовый курс
Informācijas tehnoloģijas
Datorzinātnes: pamatkurss
Brillov Dennis, Brookshire J. Glenn
99.99 €
Ielikt grozā
Java для чайников
Informācijas tehnoloģijas
Java iesācējiem
Baird Barry
39.99 €
Ielikt grozā