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

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

Бази даних


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


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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (254)Інститут біохімії імені О. В. Палладіна (8)Інститут гідробіології (10)Інститут географії (8)Інститут економіки та прогнозування (12)Інститут електродинаміки (104)Інститут зоології (12)Інститут літератури імені Т. Г. Шевченка (2)Інститут математики (79)Інститут проблем міцності
імені Г. С. Писаренка (2)
Інститут сходознавства імені А. Ю. Кримського (1)Інститут фізіології імені О. О. Богомольця (4)Інститут філософії (19)Інституту соціології (26)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=ЛОГИЧЕСК$<.>)
Загальна кількість знайдених документів : 35
Представлено документи з 1 до 20
...
1.

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

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


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

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


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

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

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

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

Кл.слова: Абстракция бесконечности осуществимости логика кибернетика -- абстракция -- бесконечности -- осуществимости -- логика -- кибернетика
5.


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

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

Папернов, А. А.
Логические основы цифровых машин и программирования учеб. пособие. - 2-е изд., перераб. / Папернов А.А. - Москва : Наука, 1968. - 591 с. - Б. ц.

Кл.слова: Цифровые машины АЛГОЛ программирование -- цифровые -- машины -- алгол -- программирование
7.

Кедров, Б. М.
Три аспекта атомистики. Т.1: Парадокс Гиббса. Логический аспект / Кедров Б.М. - Москва : Наука, 1969. - 294 с. - Б. ц.

Кл.слова: атомистика парадокс Гиббса -- атомистика -- парадокс -- гиббса
8.


Исследование логических систем: [сб. статей] / Таванец П.В. - Москва : Наука, 1970. - 334 с. - Б. ц.

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

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

Кондаков, Н. И.
Логический словарь / Кондаков Н.И. ; Горский Д.П. - Москва : Наука, 1971. - 655 с. - Б. ц.

Кл.слова: Философия логика словарь -- философия -- логика -- словарь

Дод. точки доступу:
Горский, Д. П.
10.

Шрейдер, Ю. А.
Равенство, сходство, порядок / Шрейдер Ю.А. - Москва : Наука, 1971. - 254 с. - Б. ц.

Кл.слова: Бинарные отношения логические основы -- бинарные -- отношения -- логические -- основы
11.

Кондаков, Н. И.
Логический словарь-справочник. - 2-е изд., испр. и доп. / Кондаков Н.И. ; Горский Д.П. - Москва : Наука, 1971. - 717 с. - Б. ц.

Кл.слова: Философия логика словарь -- философия -- логика -- словарь

Дод. точки доступу:
Горский, Д. П.
12.


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

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

Зиновьев, А. А.
Логическая физика / Зиновьев А.А. - Москва : Наука, 1972. - 191 с. - Б. ц.

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

Стэбли, Д.
Логическое программирование в системе / 360 / Д. Стэбли ; Стэбли Д. - Москва : Мир, 1974. - 752 с. - Б. ц.

Кл.слова: Программирование система 360 -- программирование -- система
15.

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

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

Грунд, Ф.
Программирование на языке Фортран IV / Грунд Ф. - Москва : Мир, 1976. - 184 с. - (Математ. обеспечение ЭВМ). - Б. ц.

Кл.слова: Программирование Фортран IV операторы перехода логические ввода цикла -- программирование -- фортран -- iv -- операторы -- перехода -- логические -- ввода -- цикла
17.

Рвачев, В. Л.
Алгебро-логические и проекционные методы в задачах теплообмена / Рвачев В.Л., Слесаренко А.П. - Киев : Наукова думка, 1978. - 139 с. - Б. ц.

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

Дод. точки доступу:
Слесаренко, А. П.
18.

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

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

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

Ирина, В. Р.
В мире научной интуиции: интуиция и разум / Ирина В.Р., Новиков А.А. - Москва : Наука, 1978. - 192 с. - (Проблемы науки и тех. прогресса). - Б. ц.

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

Дод. точки доступу:
Новиков, А. А.
20.

Стэбли, Д.
Логическое программирование в системе / 360 / Д. Стэбли ; Стэбли Д. - Москва : Мир, 1979. - 752 с. - Б. ц.

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

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