
QR-код құжаттың
>22.14
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
УДК | 512 |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
Жіктеу бойынша ұқсас басылымдар