Елементи математичної логіки та теорії рекурсії. Навчальний посібник [Текст]
Вихідні дані: Львів : ЛНУ ім. І.Франка, 2013Опис: 282 с.Індекс класифікації: 510.
Примітки щодо фінансування:
Найменування теми як предметна рубрика: Математика Анотація: Львівський національний університет імені Івана Франка
Викладено основи математичної логіки та теорії рекурсії. Розглянуто алгебру висловлень, числення висловлень, і числення предикатів, основні поняття теорії рекурсії
| Тип одиниці зберігання | Поточна бібліотека | Шифр зберігання | Стан | Очікується на дату | Штрих-код | |
|---|---|---|---|---|---|---|
Книги
|
Бібліотека НТШ | Доступно |
Викладено основи математичної логіки та теорії рекурсії. Розглянуто алгебру висловлень, числення висловлень, і числення предикатів, основні поняття теорії рекурсії
Львівський національний університет імені Івана Франка