Реєстрація
Користувач
Пароль
 

Каталоги бібліотек установ Національної академії наук України

Бази даних


Інститут теоретичної фізики імені М. М. Боголюбова - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (7001)Інститут археології (28)Інститут біоорганічної хімії та нафтохімії (12)Інститут біохімії імені О. В. Палладіна (128)Інститут ботаніки
імені М. Г. Холодного (4)
Інститут гідробіології (143)Інститут географії (219)Інститут економіки та прогнозування (1608)Інститут електродинаміки (126)Інститут зоології (198)Інститут історії України (153)Інститут клітинної біології та генетичної інженерії (17)Інститут літератури імені Т. Г. Шевченка (30)Інститут математики (266)Інститут проблем кріобіології і кріомедицини (14)Інститут проблем міцності
імені Г. С. Писаренка (12)
Інститут сходознавства імені А. Ю. Кримського (23)Інститут технічної теплофізики (3)Інститут фізики (4)Інститут фізіології імені О. О. Богомольця (143)Інститут філософії (114)Інституту соціології (535)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=ЛОГИК$<.>+<.>K=ПЕРСПЕКТИВ$<.>)
Загальна кількість знайдених документів : 164
Представлено документи з 1 до 20
...
1.

Шенфилд, Дж.
Степени неразрешимости / Шенфилд Дж. - Москва : Наука, 1977. - 192 с. - (Математическая логика и основания математики). - Б. ц.

Кл.слова: Степени тюринговые неразрешимости математическая логика  -- степени -- тюринговые -- неразрешимости -- математическая -- логика
2.

Шенфилд, Дж.
Математическая логика / Шенфилд Дж. - Москва : Наука, 1975. - 528 с. - (Математическая логика и основания математики). - Б. ц.

Кл.слова: Множества математическая логика  -- множества -- математическая -- логика
3.

Чёрч, А.
Введение в математическую логику. Т.1 / Чёрч А. - Москва : Ин. лит., 1960. - 484 с. - Б. ц.

Кл.слова: Математическая логика -- математическая -- логика
4.


Фундаментальні орієнтири науки : Хімія та наукові основи перспективних технологій : збірник статей за матеріалами проектів ДФФД. - Київ : Академперіодика, 2005. - 404 с. - (Б-ка Держ. фонду фундаментальних досліджень). - Б. ц.

Кл.слова: Наука біологія -- наука -- біологія
5.

Френкель, А. А.
Основания теории множеств / Френкель А.А., Бар-Хиллел И. - Москва : Мир, 1966. - 552 с. - Б. ц.

Кл.слова: Множества математическая логика -- множества -- математическая -- логика

Дод. точки доступу:
Бар-Хиллел, И.
6.

Фрейденталь, Х.
Язык логики / Фрейденталь Х. - Москва : Наука, 1969. - 135 с. - Б. ц.

Кл.слова: Математическая логика  -- математическая -- логика
7.

Финн, В. К.
Логические проблемы информационного поиска / Финн В.К. - Москва : Наука, 1976. - 152 с. - Б. ц.

Кл.слова: Информационный поиск математическая логика -- информационный -- поиск -- математическая -- логика
8.


Философские проблемы астрономии ХХ века / Казютинский В.В. и др. - Москва : Наука, 1976. - 480 с. - (Материалист. диалектика - логика и методология современного естествознания). - Б. ц.

Кл.слова: Философские проблемы астрономия методология естествознания  -- философские -- проблемы -- астрономия -- методология -- естествознания

Дод. точки доступу:
Казютинский, В. В.
9.


Философская энциклопедия. Т. 4 : Наука логики - Сигети / Константинов Ф.В. - Москва : Сов. Энциклопедия, 1967. - 589 с. - Б. ц.

Кл.слова: Философия энциклопедия -- философия -- энциклопедия

Дод. точки доступу:
Константинов, Ф. В.
10.


Философия в современном мире : философия и логика / Таванец П.В., Смирнов В.А. - Москва : Наука, 1974. - 478 с. - Б. ц.

Кл.слова: Философия логика вероятность детерминизм дедуктивный метод -- философия -- логика -- вероятность -- детерминизм -- дедуктивный -- метод

Дод. точки доступу:
Таванец, П. В.; Смирнов, В. А.
11.


Физика ХХ века : развитие и перспективы : [сб. статей] / Велихов Е.П. и др. - Москва : Наука, 1984. - 281 с. - Б. ц.

Кл.слова: История науки естествознания -- история -- науки -- естествознания

Дод. точки доступу:
Велихов, Е. П.
12.

Фейс, Р.
Модальная логика / Фейс Р. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Б. ц.

Кл.слова: Модальная логика  -- модальная -- логика
13.

Успенский, В. А.
Что такое нестандартный анализ? / Успенский В.А. - Москва : Наука, 1987. - 128 с. - Б. ц.

Кл.слова: Математическая логика анализ -- математическая -- логика -- анализ
14.

Успенский, В. А.
Теория алгоритмов: основные открытия и приложения / Успенский В.А., Семенов А.Л, . - Москва : Наука, 1987. - 288 с. - (Б-чка программиста). - Б. ц.

Кл.слова: Математическая логика алгоритмы программирование -- математическая -- логика -- алгоритмы -- программирование

Дод. точки доступу:
Семенов, А.
15.

Успенский, В. А.
Теорема Гёделя о неполноте / Успенский В.А. - Москва : Наука, 1982. - 111 с. - (Попул. лекции по математике. Вып. 57). - Б. ц.

Кл.слова: Теорема Гёделя математическая логика -- теорема -- гёделя -- математическая -- логика
16.

Успенский, В. А.
Лекции о вычислительных функциях / Успенский В.А. - Москва : Физматгиз, 1960. - 492 с. - (Математическая логика и основания математики). - Б. ц.

Кл.слова: Вычислительные функции лекции теория множества -- вычислительные -- функции -- лекции -- теория -- множества
17.


Ультрафиолетовая Вселенная : сб. тр. конференции "Научные перспективы ультрафиолетовой обсерватории "Спектр-УФ", 16-17 ноября 2000 г., Москва, Россия / Шустов Б.М., Вибе Д.З. - Москва : ГЕОС, 2001. - 220 с. - Б. ц.

Кл.слова: Вселенная -- вселенная

Дод. точки доступу:
Шустов, Б. М.; Вибе, Д. З.
18.


Труды Физико-Математического Института имени В.А. Стеклова Т.52: Проблемы конструктивного направления в математике.1 / Шанин Н.А. . - Москва : Академия наук СССР, 1958. - 348 с. - Б. ц.

Кл.слова: математическая логика теория алгорифмов ассоциативных исчислений математический анализ -- математическая -- логика -- теория -- алгорифмов -- ассоциативных -- исчислений -- математический -- анализ

Дод. точки доступу:
Шанин, Н. А.
19.


Труды Физико-Математического Института имени В.А. Стеклова Т.51: Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики. - Москва : Академия наук СССР, 1958. - 362 с. - Б. ц.

Кл.слова: математическая логика кибернетика приложение -- математическая -- логика -- кибернетика -- приложение
20.


Труды Математического Института им. В.А. Стеклова. Т. 98: Логические и логико-математические исчисления. 1. - Москва : Наука, 1968. - 205 с. - Б. ц.

Кл.слова: Математическая логика -- математическая -- логика
...
 
Інститут теоретичної фізики імені М. М. Боголюбова

Всі права захищені © Національна бібліотека України імені В. І. Вернадського