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

Бази даних

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

Національна бібліотека України імені В. І. Вернадського
Інститут археології
Інститут біоорганічної хімії та нафтохімії
Інститут біохімії імені О. В. Палладіна
Інститут ботаніки
імені М. Г. Холодного
Інститут гідробіології
Інститут географії
Інститут економіки та прогнозування
Інститут електродинаміки
Інститут зоології
Інститут історії України
Інститут клітинної біології та генетичної інженерії
Інститут літератури імені Т. Г. Шевченка
Інститут математики
Інститут проблем кріобіології і кріомедицини
Інститут проблем міцності
імені Г. С. Писаренка
Інститут сходознавства імені А. Ю. Кримського
Інститут теоретичної фізики імені М. М. Боголюбова
Інститут технічної теплофізики
Інститут фізики
Інститут фізики напівпровідників
Інститут фізіології імені О. О. Богомольця
Інститут філософії
Інституту соціології
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (525)Інститут біоорганічної хімії та нафтохімії (1)Інститут біохімії імені О. В. Палладіна (16)Інститут гідробіології (15)Інститут географії (14)Інститут економіки та прогнозування (43)Інститут електродинаміки (51)Інститут зоології (25)Інститут історії України (2)Інститут літератури імені Т. Г. Шевченка (4)Інститут математики (228)Інститут проблем кріобіології і кріомедицини (1)Інститут проблем міцності
імені Г. С. Писаренка (5)		Інститут сходознавства імені А. Ю. Кримського (3)Інститут фізіології імені О. О. Богомольця (13)Інститут філософії (66)Інституту соціології (87)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=ЛОГИК$<.>)
Загальна кількість знайдених документів : 143
Представлено документи з 1 до 20
...
1.


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

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


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

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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


Астрономия. Методология. Мировоззрение: [сб. статей]. - Москва : Наука, 1979. - 397 с. - (Материалист. диалектика - логика и методология совр. естествознания). - Б. ц.

Кл.слова: Астрономия философия Вселенная мировоззрение -- астрономия -- философия -- вселенная -- мировоззрение
14.

Белнап, Н.
Логика вопросов и ответов / Белнап Н., Стил Т. - Москва : Прогресс, 1981. - 288 с. - Б. ц.

Кл.слова: Логика эротетическая математическая операции  -- логика -- эротетическая -- математическая -- операции

Дод. точки доступу:
Стил, Т.
15.

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

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

Бизам, Д.
Многоцветная логика: 175 логических задач / Бизам Д., Герцег Я. - Москва : Мир, 1978. - 435 с. - Б. ц.

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

Дод. точки доступу:
Герцег, Я.
17.

Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики / Бирюков Б.В., Тростников В.Н. - Москва : Знание, 1977. - 192 с. - (Наука и прогресс). - Б. ц.

Кл.слова: Логика кибернетика философия -- логика -- кибернетика -- философия

Дод. точки доступу:
Тростников, В. Н.
18.

Блехман, И. И.
Прикладная математика: предмет, логика, особенности подходов / Блехман И.И., Мышкис А.Д., Пановко Я.Г. - Киев : Наукова думка, 1976. - 269 с. - Б. ц.

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

Дод. точки доступу:
Мышкис, А. Д.; Пановко, Я. Г.
19.


Булева алгебра и конечные автоматы. - Москва : Мир, 1969. - 294 с. - Б. ц.

Кл.слова: Булева алгебра логики конечные автоматы релейные устройства  -- булева -- алгебра -- логики -- конечные -- автоматы -- релейные -- устройства
20.

Владимиров, Д. А.
Булевы алгебры / Владимиров Д.А. - Москва : Наука, 1969. - 318 с. - Б. ц.

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

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