Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

510.6(07)
С89Судоплатов, С. В.
    Математическая логика и теория алгоритмов [Текст] : учебник / МОН РФ, Новосибирский гос. техн. ун-т. — М.; Новосибирск : ИНФРА-М ; Изд-во НГТУ, 2004. — 224 с.
ISBN 5-16-001975-8

- Ключові слова:

математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; предикати, предикаты ; теорія алгоритмів, теория алгоритмов, theory of algorithms ; теорія моделей, теория моделей

- Теми документа

  • УДК // Математична логіка



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 1 Перейти на сайт