Друзья! На сайте ведутся технические работы. Если вы заметили какую-либо ошибку, неполадку, неудобство - просим вас сообщить нам на [email protected]. Мы обязательно поможем!
Neceri atbrīvoties no grāmatām (Umberto Eko)
+371 27000041, +371 27000045
(darba dienās 10:00-17:00)
+371 27000041
+371 27000045

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

Дискретная математика. Формально-логические системы и языки

19.99 €
В наличии лишь 1
Дискретная математика. Формально-логические системы и языки
19.99 €
Ielikt grozā

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.

Skatīt arī:

Jums varētu būt interesanti:

Краткая история цифровизации
Informācijas tehnoloģijas
Īsa digitalizācijas vēsture
Burkhardt Martin
14.99 €
Ielikt grozā
Переход в облако. Практическое руководство по организации облачных вычислений для ученых и IT-специалистов
Informācijas tehnoloģijas
Pāreja uz mākoņiem. Praktisks mākoņdatošanas ceļvedis zinātniekiem un IT speciālistiem.
Añel Juan, Montes Diego, Iglesias Javier Rodeiro.
14.99 €
Ielikt grozā
Разработка требований к программному обеспечению
Informācijas tehnoloģijas
Programmatūras prasību izstrāde
Wiggers Carl, Beatty Joy
29.99 €
Ielikt grozā