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

Бази даних

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

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

Надёжность и эффективность в технике : справочник : в 10 т. / редкол.: В. А. Авдуевский (пред.) [и др.] . - М. : Машиностроение, 1980 - 1990.
Т. 2 : Математические методы в теории надежности и эффективности / [В. В. Белов и др.] ; под ред. Б. В. Гнеденко. - 1987. - 280 с. : ил. - Библиогр. в конце глав. - Предм. указ.: с.277-280. - (в пер.) : 1.60 р.
Рубрики: справочник техника
Кл.слова: ТЕХНИКА -- НАДЕЖНОСТЬ -- ЭФФЕКТИВНОСТЬ -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ ГРАФОВ -- ТЕОРИЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- ТЕОРИЯ СЛУЧАЙНЫХ ПРОЦЕССОВ -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА -- ЭЛЕМЕНТ -- НЕВОССТАНАВЛИВАЕМЫЕ СИСТЕМЫ -- ВОССТАНАВЛИВАЕМЫЕ СИСТЕМЫ -- МОДЕЛИ ОБСЛУЖИВАНИЯ -- ОБОРУДОВАНИЕ -- ЭКСПЛУАТАЦИЯ -- ОБРАБОТКА ИНФОРМАЦИИ -- СТАТИСТИЧЕСКИЕ МЕТОДЫ -- СТАТИСТИЧЕСКИЙ КОНТРОЛЬ КАЧЕСТВА -- МОНТЕ-КАРЛО МЕТОД -- ВЕРОЯТНОСТНЫЕ РАСПРЕДЕЛЕНИЯ -- алгоритмы  -- МЕТОД СТАТИСТИЧЕСКОГО МОДЕЛИРОВАНИЯ

Дод. точки доступу:
Белов, В. В.; Беляев, Ю. К.; Давтян, А. Г.; Каштанов, В. А.; Коваленко, И. Н.; Гнеденко, Б. В. (ред.)
2.

Голованова, Ольга Николаевна.
Разработка и исследование специализированных вычислительных структур для анализа сетей со сложной логикой : дис. ... канд. техн. наук : Спец. Организация структур и вычислительных процессов в ЭВМ комплексах и системах / О. Н. Голованова ; АН УССР ИЭД. - К., 1979. - 162с
Рубрики: Организация структур и вычислительных процессов в ЭВМ комплексах и системах
3.

Философская энциклопедия / Науч. совет изд-ва "Совет. энцикл.", Ин-т философии Акад. наук СССР; гл. ред. Ф. В. Константинов; чл. редкол.: В. Ф. Асмус [и др.]. - М. : Сов. энциклопедия, 1960 - 1970. - (Энциклопедии. Словари. Справочники).
[Т.] 4 : "Наука логики" - Сигети. - 1967. - 591 с. : портр. - Библиогр. в тексте. - 3.50 р.
Рубрики: Философия--энциклопедии
Кл.слова: философы -- история философии -- диалектика -- метафизика -- материя -- бытие

Дод. точки доступу:
Константинов, Ф. В. \гл. ред.\; Асмус, В. Ф. \ред.\; Быховский, Б. Э. \ред.\; Иовчук, М. Т. \ред.\; Кедров, Б. М.; Научный совет издательства "Советская энциклопедия"(Москва); Ин-т философии и права Уральского отделения Российской академии наук(Екатеринбург)
4.

Кидыба, Виктор Павлович.
Логико-динамическая модель электрической части энергоблока ТЭС автоматизированной системы обучения и тренажа : дис. ... канд. техн. наук : Спец.05.14.02 электрические станции сети и системы / В. П. Кидыба ; ЛПИ. - Львов, 1986. - 164 с.
Рубрики: электрические станции сети и системы
5.


Алгебра и математическая логика. Алгебраические исследования : сб.статей / отв. ред. Л. А. Калужнин. - К. : Изд-во Киевск. ун-та, 1966. - 140 с. - Библиогр. в конце ст. - Б. ц.
Рубрики: алгебра--алгебра и математическая логика--алгебраические исследования

Дод. точки доступу:
Калужнин, Л. А. (ред.)
6.

Беньон, Д.
Цифровая магнитная логика / Д. Беньон, Г. Крейн, Д. Нитцан ; пер. с англ. Ю. Д. Розенталя. - М. : Мир, 1972. - 288 с. - Б. ц.
Рубрики: Вычислительная техника--цифровая магнитная логика

Дод. точки доступу:
Крейн, Г.; Нитцан, Д.; Розенталь, Ю. Д. (пер. .)
7.

Беркли, Э.
Символическая логика и разумные машины / Э. Беркли ; пер. с англ. И. В. Соловьева. - М. : Изд-во ИЛ, 1961. - 260 с. - Б. ц.
Рубрики: Кибернетика--символическая логика и разумные машины.

Дод. точки доступу:
Соловьев, И. В. (пер. .)
8.

Бизам, Д.
Игра и логика. 85 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. И. И. Иванова. - М. : Мир, 1975. - 358 с. : ил. - Б. ц.
Рубрики: Математика--Игра и логика

Дод. точки доступу:
Герцег, Я.; Иванов, И. И. (пер.)
9.

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

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

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

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

Бродский, И. Н.
Элементарное введение в символическую логику / И. Н. Бродский. - 2-е изд., перераб. - Л. : Изд-во ЛГУ, 1972. - 64 с. - Б. ц.
Рубрики: Логика--введение в символическую логику
12.

Гаек, П.
Автоматическое образование гипотез: математические основы общей теории / П. Гаек, Т. Гавренек ; пер. с англ. В. К. Финна. - М. : Наука, 1984. - 280 с. - Б. ц.
Рубрики: Математическая логика--автоматическое образование гипотез--математические основы общей теории

Дод. точки доступу:
Гавренек, Т.; Финн, В. К. (пер.)
13.

Гегель, Г. В. Ф.
Энциклопедия философских наук. Т.1. Наука логики / Г. В.Ф. Гегель. - М. : Мысль, 1974. - 452 с. - Б. ц.
Рубрики: Философия--наука логики--философия природы--философия духа
14.

Градштейн, И. С.
Прямая и обратная теоремы. Элементы алгебры, логики / И. С. Градштейн. - М. : Наука, 1965. - 128 с. : ил. - Б. ц.
Рубрики: Математический анализ--прямая и обратная теоремы.--элементы алгебры логики
15.

Грэй, П.
Логика, алгебра и база данных / П. Грэй ; пер. с англ. Х. И. Килова. - М. : Машиностроение, 1989. - 360 с. : ил., табл. - Б. ц.
Рубрики: Вычислительная техника--логика, алгебра и база данных

Дод. точки доступу:
Килов, Х. И. (пер.)
16.


Исследования по математической лингвистике, математической логике и информационным языкам. - М. : Наука, 1972. - 297 с. - Б. ц.
Рубрики: Математический анализ--исследования по математической лингвистике, математической логике и информационным языкам
17.

Калбертсон, Дж. Т.
Математика и логика цифровых устройств / Дж. Т. Калбертсон ; пер. с англ. Г. А. Шестопал. - М. : Просвещение, 1965. - 268 с. : ил. - Б. ц.
Рубрики: Вычислительная техника--математика и логика цифровых устройств

Дод. точки доступу:
Шестопал, Г. А. (пер.)
18.

Калужнин, Л. А.
Что такое математическая логика? / Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Б. ц.
Рубрики: Математический анализ--что такое математическая логика?
19.

Карри, Х.
Основания математической логики / Х. Карри ; пер. с англ. В. В. Донченко. - М. : Мир, 1969. - 568 с. - Б. ц.
Рубрики: Математический анализ--основания математической логики

Дод. точки доступу:
Донченко, В. В. (пер.)
20.

Кац, М.
Математика и логика. ретроспектива и перспективы. / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой . - М. : Мир, 1971. - 252 с. - Б. ц.
Рубрики: Математический анализ--математика и логика

Дод. точки доступу:
Улам, С.; Плужникова, Н. И. (пер.)
...
 
Інститут електродинаміки

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