Опис документа

51
Крив Кривий, Сергій Лук"янович.
Вступ до некласичної математичної логіки [Текст] : навчальний посібник для студ. ун-тів, які навчаються за напрямом підготовки "Комп"ютерні науки" / С.Л. Кривий, О.І. Провотар ; КНУТШ. — Київ : Київський університет, 2010. — 205, [1] с. : табл.

ISBN 978-966-439-209-6

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

математична логіка, математическая логика ; навчальні посібники для вищої школи (вузів), учебные пособия для высшей школы (вузов)

- Анотація:

Викладено основні поняття і наукові результати теорій множин, математичної логіки, відношень, формальних систем, алгоритмів, комбінаторики, графів.

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

Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
ББК науковий // Теорія моделей

Наявність

Установа Кількість Документ на сайті установи

Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 3 Перейти на сайт

Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н-I - контрольний примірник 1 Перейти на сайт

Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . обм - обмін відділ 1 Перейти на сайт

Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . кіб - кібернетики 136 Перейти на сайт

Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . м/м - механіко-математичний ф-т 20 Перейти на сайт