Математикалық логиканың бастамалары/Нұрсұлтанов, Қ. . . Б.2.

Математикалық логиканың бастамалары/Нұрсұлтанов, Қ. . . Б.2.

http://elib.wku.edu.kz/en/lib/document/KNIGI/18E9BCBC-DBDE-43DF-9926-9C17AE2680A0/

517
Н 90
Нұрсұлтанов, Қ.
    Математикалық логиканың бастамалары [Текст]. . Б.2. / Қ. Нұрсұлтанов. - Алматы : Республикалық баспа кабинеті, 1995. - 173 б. - ISBN 5838014547 : б/ц

УДК

517

ББК 22.1

Рубрики: Математика

Кл.слова (ненормированные):
математика -- предикаттар логика -- алгоритм теориясы
Аннотация: Оқу құралында предикаттар логикасы, предикаттық есептемелер және алгоритмдер теориясының бастамалары қазіргі кездегі мектеп педагогикасының талаптарына негізделіп жазылған.
Держатели документа:
БҚМУ
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)

QR code of document