Реєстрація
Користувач
Пароль
 
Простий
пошук
Розширений
пошук
Абеткові
покажчики
Каталоги бібліотек установ Національної академії наук України

Бази даних

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

Національна бібліотека України імені В. І. Вернадського
Інститут археології
Інститут біоорганічної хімії та нафтохімії
Інститут біохімії імені О. В. Палладіна
Інститут ботаніки
імені М. Г. Холодного
Інститут гідробіології
Інститут географії
Інститут економіки та прогнозування
Інститут електродинаміки
Інститут зоології
Інститут історії України
Інститут клітинної біології та генетичної інженерії
Інститут літератури імені Т. Г. Шевченка
Інститут математики
Інститут проблем кріобіології і кріомедицини
Інститут проблем міцності
імені Г. С. Писаренка
Інститут сходознавства імені А. Ю. Кримського
Інститут теоретичної фізики імені М. М. Боголюбова
Інститут технічної теплофізики
Інститут фізики
Інститут фізики напівпровідників
Інститут фізіології імені О. О. Богомольця
Інститут філософії
Інституту соціології
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (5035)Інститут археології (12)Інститут біоорганічної хімії та нафтохімії (1)Інститут біохімії імені О. В. Палладіна (124)Інститут ботаніки
імені М. Г. Холодного (1)		Інститут гідробіології (766)Інститут географії (39)Інститут економіки та прогнозування (186)Інститут електродинаміки (297)Інститут зоології (180)Інститут історії України (8)Інститут клітинної біології та генетичної інженерії (2)Інститут літератури імені Т. Г. Шевченка (83)Інститут математики (475)Інститут проблем кріобіології і кріомедицини (7)Інститут проблем міцності
імені Г. С. Писаренка (10)		Інститут сходознавства імені А. Ю. Кримського (69)Інститут фізики (2)Інститут фізіології імені О. О. Богомольця (88)Інститут філософії (682)Інституту соціології (809)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=ЛОГИЧЕСК$<.>+<.>K=СЕМАНТИК$<.>+<.>K=МОДАЛЬН$<.>+<.>K=ЛОГИК$<.>+<.>K=ФИЛОСОФИ$<.>)
Загальна кількість знайдених документів : 398
Представлено документи з 1 до 20
...
1.

Шанин, Н. А.
Труды Физико-Математического Института имени В.А. Стеклова Т.43: О некоторых логических проблемах арифметики / Шанин Н.А. - Москва : Академия наук СССР, 1955. - 111 с. - Б. ц.

Кл.слова: Арифметика логические проблемы -- арифметика -- логические -- проблемы
2.


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

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


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

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

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


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

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


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

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


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

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


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

Кл.слова: Исчисления классические предикатов -- исчисления -- классические -- предикатов
8.


Труды Математического Института им. В.А. Стеклова Т. 133: Математическая логика, теория алгоритмов и теория множеств. - Москва : Наука, 1973. - 275 с. - Б. ц.

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


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

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


Записки научных семинаров ЛОМИ. Т.49: Теоретические применения методов математической логики. I. - Ленинград : Наука, 1975. - 179 с. - Б. ц.

Кл.слова: ЛОМИ математическая логика дискретная математика -- ломи -- математическая -- логика -- дискретная -- математика
11.


Записки научных семинаров ЛОМИ. Т.88: Исследования по конструктивной математике и математической логике. VIII. - Ленинград : Наука, 1979. - 251 с. - Б. ц.

Кл.слова: ЛОМИ математическая логика конструктивная математика -- ломи -- математическая -- логика -- конструктивная -- математика
12.


Записки научных семинаров ЛОМИ. Т.105: Теоретические применения методов математической логики. III. - Ленинград : Наука, 1981. - 200 с. - Б. ц.

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

Акулинин, В. Н.
Философия всеединства: от В.С. Соловьева к П.А. Флоренскому / Акулинин В.Н. ; Антипов Г.А. - Новосибирск : Наука , 1990. - 158 с. - Б. ц.

Кл.слова: Философия всеединства  -- философия -- всеединства

Дод. точки доступу:
Антипов, Г. А.
14.


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

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

Алексеев, П. В.
Наука и мировоззрение. Союз марксистской философии и естествознания / Алексеев П.В. - Москва : Политиздат, 1983. - 367 с. - (Над чем работают, о чем спорят философы). - Б. ц.

Кл.слова: Философия -- философия
16.

Аникин, А. В.
Юность науки: жизнь и идеи мыслителей-экономистов до Маркса. - 3-е изд. / Аникин А.В. - Москва : Политиздат, 1979. - 367 с. - Б. ц.

Кл.слова: Аристотель Томас Ман Петти Буагильбер Ло Юм Кенэ Тюрго Смит Рикардо Сисмонди Сэй Курно Лист Сен-Симон Фурье Оуэн биография философия история политэкономия  -- аристотель -- томас -- ман -- петти -- буагильбер -- ло -- юм -- кенэ -- тюрго -- смит -- рикардо -- сисмонди -- сэй -- курно -- лист -- сен -- симон -- фурье -- оуэн -- биография -- философия -- история -- политэкономия
17.

Анохин, П. К.
Избранные труды. Философские аспекты теории функциональной системы / Анохин П.К. - Москва : Наука, 1978. - 400 с. - Б. ц.

Кл.слова: Философия теория функциональной системы интеллект психология физиология рефлекс цели эмоции принятие решения -- философия -- теория -- функциональной -- системы -- интеллект -- психология -- физиология -- рефлекс -- цели -- эмоции -- принятие -- решения
18.


Антология мировой философии: в 4-х т. Т.1: Философия древности и средневековья. Ч.2 / Соколов В.В. и др. - Москва : Мысль , 1969. - 581-936 с. - Б. ц.

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

Дод. точки доступу:
Соколов, В. В.
19.


Антология мировой философии: в 4-х т. Т.2: Европейская философия от эпохи возрождения по эпоху просвещения / Соколов В.В. и др. - Москва : Мысль , 1970. - 776 с. - Б. ц.

Кл.слова: Философия эпохи возрождения ранних буржуазных революций просвещения французской американской -- философия -- эпохи -- возрождения -- ранних -- буржуазных -- революций -- просвещения -- французской -- американской

Дод. точки доступу:
Соколов, В. В.
20.


Антология мировой философии: в 4-х т. Т.3: Буржуазная философия конца XVIII в. - первых двух третей XIX в. / Нарский И.С. и др. - Москва : Мысль , 1971. - 760 с. - Б. ц.

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

Дод. точки доступу:
Нарский, И. С.
...
 
Інститут теоретичної фізики імені М. М. Боголюбова

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