Алгоритмы и формальные системы: учебное пособие

Podrobná bibliografie
Hlavní autor:	Лисовик Л. П. Леонид Петрович
Korporativní autor:	Киевский государственный университет им. Т. Г. Шевченко
Další autoři:	Редько В. Н. Владимир Никифорович
Jazyk:	ruština
Vydáno:	Киев, Изд-во КГУ, 1981
Témata:	Алгоритмы, теория Математическая логика учебные пособия универсальные классы нормальные алгоритмы рекурсивные функции машины Тьюринга алгебра вычислительные операторы предикаты первого порядка исчисление элементарные теории полугруппы
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=301411

Popis
Fyzický popis:	110 с.

Podobné jednotky