Опис документа:
| |
Шифр: |
51 |
Авт. знак: |
Крив |
Автор: | Кривий С.Л., Провотар О.І. |
Назва: | Вступ до некласичної математичної логіки |
Від. щодо назв.: |
навчальний посібник для студ. ун-тів, які навчаються за напрямом підготовки "Комп"ютерні науки" |
Відповідальність: |
С.Л. Кривий, О.І. Провотар ; КНУТШ |
Видавництво: | Київський університет |
Місто: | Київ |
Рік: | 2010 |
Сторінок: | 205, [1] с. |
ББК: |
В122я73-1 |
ISBN: | 978-966-439-209-6 |
Тип документу: |
Книга |
Місце знаходження: |
чит. зал №35Читальний зал колекції видань університету вул. Володимирська, 58, кім. 35 |
Анотація: | Викладено основні поняття і наукові результати теорій множин, математичної логіки, відношень, формальних систем, алгоритмів, комбінаторики, графів. |
Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
Пошук: заповніть хоча б одне з полів
|
|