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

Бази даних

Інститут математики - результати пошуку

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

Байиф, Жан-Клод
Логические задачи : пер. с франц. / Жан-Клод Байиф ; . - М.: : [б. и.], 1983. - 172 с. - Б. ц.


Дод. точки доступу:
Яглом, И.М. ((ред. и послесл.))
2.

Балаян, Г. Г. Центральный экономико-математический институт АН СССР.
Информационно-логические модели научных исследований : / Г. Г. Балаян, Г. Г. Жарикова, Н. И. Комков ; Центральный экономико-математический институт АН СССР. - М.: : [б. и.], 1978. - 344 с. - Б. ц.


Дод. точки доступу:
Жарикова, Г.Г.; Комков, Н.И.
3.

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


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

Борисов, В.Н.
Уровни логического процесса и основные направления их исследования / В.Н. Борисов ; . - Новосибирск: : [б. и.], 1967. - 210 с. : с библ. 90 назв. - Б. ц.


Дод. точки доступу:
Розов, М.А. ((отв. ред.))
5.

Булатов, М. А.
Логические категории и понятия / М. А. Булатов. - К.: : [б. и.], 1981. - 233 с. - Б. ц.
6.

Воронков, А. А.
Логические программы и их синтез / А. А. Воронков. - Новосибирск : [б. и.], 1986. - 32 с. ; (Препр./СО АН СССР; Институт математики; № 23). - Б. ц.
7.

Воронков, А. А.
Синтез логических программ / А. А. Воронков. - Новосибирск : [б. и.], 1986. - 42 с. ; (Препр./СО АН СССР; Институт математики; № 24). - Б. ц.
8.

Геллер, С. И.
Основы логического проектирования цифровых вычислительных машин / С. И. Геллер, Ю. П. Журавлев. - М.: : [б. и.], 1969. - 270 с. - Б. ц.


Дод. точки доступу:
Журавлев, Ю.П.
9.

Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. - М.: : [б. и.], 1979. - 110 с. : с библ. - Б. ц.


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

Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. - М. : [б. и.], 1982. - Б. ц.


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

Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики. Пер. с нем. / Д. Гильберт, П. Бернайс ; . - М.: : [б. и.], 1979. - 560 с. ; Библиогр.:с.551-557. - Б. ц.


Дод. точки доступу:
Бернайс, П.; Адян, С.И. ((ред.))
12.

Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики. Пер. с нем / Д. Гильберт, П. Бернайс. - Изд. 2-е. - М.: : [б. и.], 1982. - 556 с. - Б. ц.


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

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


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

Гутенмахер, Л. И.
Электронные информационно-логические машины / Л. И. Гутенмахер. - Изд. 2-е. - М. : [б. и.], 1962. - 199 с. - Б. ц.
15.

Гутенмахер, Л. И.
Электронные информационно-логические машины / Л. И. Гутенмахер. - М. : [б. и.], 1960. - 185 с. - Б. ц.
16.

Дружинин, Н. К.
Выборочное наблюдение и эксперимент : общие логические принципы организации / Н. К. Дружинин. - М. : [б. и.], 1977. - 176 с. - Б. ц.
17.

Еремееев, И. С.
Магнитная техника автоматики и кибернетики : основы построения логических и счетно-решающих устройств. Справочник / И. С. Еремееев, В. С. Подлипенский. - К. : [б. и.], 1970. - 403 с. - Б. ц.


Дод. точки доступу:
Подлипенский, В.С.
18.

Закревский, А. Д.
Логические уравнения / А. Д. Закревский. - Минск : [б. и.], 1975. - 93 с. - Б. ц.
19.

Закревский, А. Д.
Логический синтез каскадных схем / А. Д. Закревский. - М. : [б. и.], 1981. - 416 с. - Б. ц.
20.

Зиновьев, А. А.
Логическая физика / А. А. Зиновьев. - М. : [б. и.], 1972. - 190 с. - Б. ц.
...
 
Інститут математики

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