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

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

Бази даних


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


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.

Клини, С. К.
Введение в метаматематику / Клини С.К. - Москва : Ин. лит., 1957. - 526 с. - Б. ц.

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


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

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

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


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

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

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

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

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

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

Беркли, Э.
Символическая логика и разумные машины / Беркли Э. - Москва : Ин. лит., 1961. - 260 с. - Б. ц.

Кл.слова: Логика уравнение математическая символическая человеческое мышление  -- логика -- уравнение -- математическая -- символическая -- человеческое -- мышление
7.

Ван
Аксиоматические системы теории множеств / Ван Хао, Мак-Нотон Р. - Москва : Ин. лит., 1963. - 52 с. - (Б-ка сб. "Математика"). - Б. ц.

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

Дод. точки доступу:
Мак-Нотон, Р.
8.


Молекулярная биология. Проблемы и перспективы. К 70-летию со дня рожд. акад. В.А. Энгельгардта: [сб. ст.] / Браунштейн А.Е. и др. - Москва : Наука, 1964. - 342 с. - Б. ц.

Кл.слова: Молекулярная биология ферменты белок ДНК мышца мембрана -- молекулярная -- биология -- ферменты -- белок -- днк -- мышца -- мембрана

Дод. точки доступу:
Браунштейн, А. Е.
9.


Труды Математического Института им. В.А. Стеклова. Т. 72: Проблемы конструктивного направления в математике - 3. - Москва : Изд-во Академии наук СССР, 1964. - 544 с. - Б. ц.

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

Калужнин, Л. А.
Что такое математическая логика? / Калужнин Л.А. - Москва : Наука, 1964. - 149 с. - Б. ц.

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


Алгебра и математическая логика. Алгебраические исследования: межвед. сб. - Киев : КГУ, 1966. - 139 с. - Б. ц.

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

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

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

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

Стяжкин, Н. И.
Формирование математической логики / Стяжкин Н.И. ; Субботин А.Л. - Москва : Наука, 1967. - 508 с. - Б. ц.

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

Дод. точки доступу:
Субботин, А. Л.
14.


Логическая семантика и модальная логика / Таванец П.В. - Москва : Наука, 1967. - 276 с. - Б. ц.

Кл.слова: Логическая семантика модальная логика философия  -- логическая -- семантика -- модальная -- логика -- философия

Дод. точки доступу:
Таванец, П. В.
15.


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

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

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

Лакатос, И.
Доказательства и опровержения: как доказываются теоремы / Лакатос И. - Москва : Наука, 1967. - 152 с. - Б. ц.

Кл.слова: Математическая логика теоремы доказательства  -- математическая -- логика -- теоремы -- доказательства
17.

Николау, Э.
Введение в кибернетику / Николау Э. - Москва : Мир, 1967. - 192 с. - Б. ц.

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


Труды Математического Института им. В.А. Стеклова. Т. 93: Проблемы конструктивного направления в математике. 4 . - Москва : Наука, 1967. - 267 с. - Б. ц.

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


Математическая теория логического вывода: сборник переводов. - Москва : Наука, 1967. - 351 с. - (Математическая логика и основания математики). - Б. ц.

Кл.слова: Математическая логика логические выводы теорема Эрбрана -- математическая -- логика -- логические -- выводы -- теорема -- эрбрана
20.

Петров, Ю. А.
Логические проблемы абстракций бесконечности и осуществимости / Петров Ю.А. - Москва : Наука, 1967. - 158 с. - Б. ц.

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

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