Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=ШЕНФИЛД$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | Тип видання: наукове видання | | |
1. |
Шенфилд, Д. Математическая логика [Електронний ресурс] : пер. с англ. / Д. Шенфилд. - М. : Наука, 1975. - 529 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической 2000 логики, теории моделей и теории алгоритмов. Краткость книги достигнута многими авторскими находками в способе подачи материала. Многие важные результаты излагаются в упражнениях, которые составляют необходимую органическую часть книги.
Кл.слова: теорія -- функція -- логіка
| | Тип видання: монографія | | |
2. |
Шенфилд, Д. Степени неразрешимости [Електронний ресурс] : пер. с англ. / Д. Шенфилд. - М. : Наука, 1977. - 192 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Издательство «Наука» в серии «Математическая логика и основания математики» представляет монографию Шенфилда «Степени неразрешимости», посвященную изложению результатов о тьюринговых степенях. Шенфилд постарался изложить традиционно сложную тему в максимально простой форме.
Кл.слова: алгоритм -- ступінь
| |
|
|