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āli-loģiskās sistēmas un valodas

19.99 €
Pieejams tikai 1
Diskrētā matemātika. Formāli-loģiskās sistēmas un valodas
19.99 €
Ielikt grozā

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:

Переход в облако. Практическое руководство по организации облачных вычислений для ученых и IT-специалистов
Informācijas tehnoloģijas
Pāreja uz mākoni. Praktiska mākoņdatošanas rokasgrāmata zinātniekiem un IT profesionāļiem
Anielle Huana, Montess Djego, Iglesiass Havjers Rodeiro
14.99 €
Ielikt grozā
Разработка требований  к программному обеспечению
Informācijas tehnoloģijas
Programmatūras prasību izstrāde
Wiggers Carl, Beatty Joy
29.99 €
Ielikt grozā
Начинаем программировать на Python
Informācijas tehnoloģijas
Darba sākšana ar Python programmēšanu
Gaddis Tony
49.99 €
Ielikt grozā
Совершенный код. Практическое руководство по разработке программного обеспечения
Informācijas tehnoloģijas
Perfekts kods. Praktiska rokasgrāmata programmatūras izstrādē
McConnell Steve
49.99 €
Ielikt grozā