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

Бази даних

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

Національна бібліотека України імені В. І. Вернадського
Інститут археології
Інститут біоорганічної хімії та нафтохімії
Інститут біохімії імені О. В. Палладіна
Інститут ботаніки
імені М. Г. Холодного
Інститут гідробіології
Інститут географії
Інститут економіки та прогнозування
Інститут електродинаміки
Інститут зоології
Інститут історії України
Інститут клітинної біології та генетичної інженерії
Інститут літератури імені Т. Г. Шевченка
Інститут математики
Інститут проблем кріобіології і кріомедицини
Інститут проблем міцності
імені Г. С. Писаренка
Інститут сходознавства імені А. Ю. Кримського
Інститут теоретичної фізики імені М. М. Боголюбова
Інститут технічної теплофізики
Інститут фізики
Інститут фізики напівпровідників
Інститут фізіології імені О. О. Богомольця
Інститут філософії
Інституту соціології
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.


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

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


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

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

Байиф
Логические задачи / Байиф Жан-Клод ; Яглома И.М. - Москва : Мир, 1983. - 172 с. - Б. ц.

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

Дод. точки доступу:
Яглома, И. М.
5.

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

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

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

Гивоне, Д.
Микропроцессоры и микрокомпьютеры: вводный курс / Гивоне Д., Россер Р. - Москва : Мир, 1983. - 464 с. - Б. ц.

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

Дод. точки доступу:
Россер, Р.
7.

Гик, Е. Я.
Занимательные математические игры / Гик Е.Я. - Москва : Знание, 1982. - 144 с. - (Нар. ун-т. Естественнонаучный фак.). - Б. ц.

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

Гильберт, Д.
Основания математики: [в 2-х т.]. Логические исчисления и формализация арифметики / Гильберт Д., Бернайс П. - Москва : Наука, 1979. - 557 с. - (Мат. логика и основания математики). - Б. ц.

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

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

Глушков, В. М.
Логическое проектирование дискретных устройств / Глушков В.М., Капитонова Ю.В., Мищенко А.Т. - Киев : Наукова думка, 1987. - 264 с. - Б. ц.

Кл.слова: Логическое проектирование дискретные устройства автограммы  -- логическое -- проектирование -- дискретные -- устройства -- автограммы

Дод. точки доступу:
Капитонова, Ю. В.; Мищенко, А. Т.
10.

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

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

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

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

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

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

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


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

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

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

Касаткин, В. Н.
Логическое программирование в занимательных задачах / Касаткин В.Н. - Киев : Техника, 1980. - 80 с. - Б. ц.

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

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

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

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

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

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

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

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

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

Кэррол, Л.
Логическая игра / Кэррол Л. - Москва : Наука, 1991. - 192 с. - (Б-чка "Квант". Вып. 73). - Б. ц.

Кл.слова: Занимательные логические задачи  -- занимательные -- логические -- задачи
19.


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

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

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


Логическое программирование: сб. статей. - Москва : Мир, 1988. - 366 с. - (Мат. обеспечение ЭВМ). - Б. ц.

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

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