Головна сторінка бібліотеки Спрощенний режим пошуку Інструкція з пошуку
Авторизація
Прізвище
Пароль
 

Бази даних


Книжкові видання- результати пошуку

Вид пошуку

Зона пошуку
у знайденому
 Знайдено у інших БД:Періодичні видання (33)Рідкісні та цінні видання (2)Повнотекстова база "Навчальні видання" (3)Повнотекстова база "Праці вчених НТУ "ХПІ" (1)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)
Загальна кількість знайдених документів : 69
Показані документи с 1 по 20
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   519.5
   Л 13


    Лавров, Игорь Андреевич.
    Задачи по теории множеств математической логике и теории алгоритмов [Текст] : научное издание / И.А. Лавров, Л.Л. Максимова. - Москва : Наука, 1975. - 240 с. : ил. - 0.90 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
ТЕОРИЯ АЛГОРИТМОВ -- ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Дод.точки доступу:
Максимова, Лариса Львовна

Примірників усього: 2
аб.1 (1), аб.4 (1)
Вільні: аб.1 (1), аб.4 (1)

Знайти схожі

2.
   517
   М 79


    Мордкович, Александр Григорьевич.
    Математический анализ [Текст] : учебник / А. Г. Мордкович, А. С. Солодовников. - Москва : Высш. шк., 1990. - 416 с. : рис., табл. - ISBN 5-06-001008-2 : 1.30 р., 10.00 р., 11.70 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
анализ математический -- прикладная математика -- математическая логика -- функции комплексной переменной -- действительные числа -- числовые последовательности -- пределы -- производная -- функции одной переменной -- определенный интеграл -- функции нескольких переменных -- числовые ряды -- функциональные ряды -- дифференциальные уравнения
Дод.точки доступу:
Солодовников, Александр Самуилович

Примірників усього: 10
аб.4 (6), чз.2 (1), аб.9 (1), аб.1 (2)
Вільні: аб.4 (6), чз.2 (1), аб.9 (1), аб.1 (2)

Знайти схожі

3.
   Ю4
   И20


    Иванов, Е. А.
    Логика [Текст] / Е.А. Иванов. - Москва : БЕК, 2000. - 358 с. - ISBN 5-85639-280-9 : 15,29 р.
ДРНТІ
ББК Ю4я7

Кл.слова (ненормовані):
математическая логика -- общая логика -- диалектическая логика -- символическая логика
Примірників усього: 1
аб.1 (1)
Вільні: аб.1 (1)

Знайти схожі

4.
681.3.06
M25


    Manna, Z.
    The Logical Basis for Computer Programming Volume Deductive Systems [Текст] / Z. Manna, R. Waldinger. - Massachusetts : Addison Wesley, 1990. - 642 с. - ISBN 0-201-18261-0 : 25000.00 UAK
ДРНТІ
УДК

Кл.слова (ненормовані):
математическая логика -- программирование -- компьютеры
Дод.точки доступу:
Waldinger, R.

Примірників усього: 1
аб.1 (1)
Вільні: аб.1 (1)

Знайти схожі

5.
510.6
Г12


    Гаврилов, Г. П.
    Задачи и упражнения по курсу дискретной математики [Текст] / Г. П. Гаврилов, А. А. Сапоженко. - Москва : Наука, 1992. - 408 с. - ISBN 5-02-013991-2 : 108,38 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
дискретная математика -- математическая логика
Дод.точки доступу:
Сапоженко, А.А.

Примірників усього: 1
0 (1)
Вільні: 0 (1)

Знайти схожі

6.
   062
   Х 23


Национальный технический университет “Харьковский политехнический институт”.

    Вестник Национального технического университета “ХПИ” [Текст] : сб. науч. тр. : темат. вып. / НТУ “ХПИ”.
   № 6 : Технологии в машиностроении / отв. ред. Ю. В. Тимофеев. - Харьков : НТУ “ХПИ”, 2001. - 327 с. : рис. - ISBN 966-593-217-9 : 9.70 грн
    Зміст:
Андреев, Арнольд Георгиевич. Напряженно-деформированное состояние спицевого колеса электровагона при его сборке / А. Г. Андреев, И. Л. Оборский, А. В. Щепкин. - С .3-6. - Библиогр. в конце ст.
Кл.слова: КОНЕЧНОЭЛЕМЕНТНЫЕ МОДЕЛИ, КОЛЕСНЫЙ УЗЕЛ, МОДЕЛЬ КОЛЕСА
Бажал, А. И. Локализация силовых процессов при волновом резании в механообработке / А. И. Бажал, В. А. Чубенко. - С .7-9. - Библиогр. в конце ст.
Кл.слова: ВОЛНОВАЯ ТЕОРИЯ СЕН-ВЕНАНА, РЕЖУЩИЙ ИНСТРУМЕНТ, УДАРНЫЙ КОНТАКТ ИНСТРУМЕНТА
Бєсов, Леонід Михайлович. Вузівська освіта і наука у Харкові: історичний екскурс у кінець 19 - початок 20 століття / Л. М. Бєсов, Г. Л. Звонкова. - С .10-13. - Бібліогр. в кінці ст.
Кл.слова: ОРГАНІЗАЦІЯ НАУКОВИХ ДОСЛІДЖЕНЬ, ІНЖЕНЕРНА ОСВІТА, НАУКОВА РОБОТА
Бреславський, Дмитро Васильович. Дослідження НДС панелі літака в умовах повзучості при полігармонічному навантаженні / Д. В. Бреславський, В. М. Бурлаєнко, О. К. Морачковський. - С .14-17. - Бібліогр. в кінці ст.
Кл.слова: АВІАЦІЙНА ТЕХНІКА, ПОВЗУЧІСТЬ МАТЕРІАЛІВ, ПРУЖНІ КОЛИВАННЯ
Гардер, С. Е. Динамические уравнения движущегося конечного элемента / С. Е. Гардер, Е. Г. Голоскоков. - С .18-23. - Библиогр. в конце ст.
Кл.слова: МЕТОД КОНЕЧНЫХ ЭЛЕМЕНТОВ, УРАВНЕНИЯ ЛАГРАНЖА, ЧИСЛЕННЫЕ МЕТОДЫ
Гордеев, А. С. Волновые процессы и качество при механической обработке / А. С. Гордеев, Б. М. Арпентьев, А. А. Мельниченко. - С .23-29. - Библиогр. в конце ст.
Кл.слова: МЕТАЛЛОРЕЖУЩИЕ СТАНКИ, ПРОЦЕССЫ РЕЗАНИЯ, РЕЖУЩИЙ ИНСТРУМЕНТ
Грабченко, Анатолий Иванович. Исследование закономерностей изменения составляющих сил резания при прецизионном точении / А. И. Грабченко, Д. Б. Романенко. - С .30-35. - Библиогр. в конце ст.
Кл.слова: МАШИНОСТРОИТЕЛЬНАЯ ПРОДУКЦИЯ, АНАЛОГО-ЦИФРОВОЙ КОНВЕРТЕР, ПРОЦЕССЫ РЕЗАНИЯ
Григоров, Отто Владимирович. Пути экономии энергии в подъемно-транспортных машинах / О. В. Григоров [и др.]. - С .36-47. - Библиогр. в конце ст.
Інші автори: Краузе Ф., Хорн П., Банзе В.
Кл.слова: ВОЗОБНОВЛЯЕМЫЕ ИСТОЧНИКИ ЭНЕРГИИ, ПРЕОБРАЗОВАТЕЛИ ЭНЕРГИИ, РЕГУЛИРУЕМЫЙ ГИДРОПРИВОД
Гуцаленко, Юрий Григорьевич. Формирование режущего рельефа круга и обеспечение производительности обработки при алмазном электроэрозионном шлифовании / Ю. Г. Гуцаленко, Г. В. Новиков. - С .48-52
Кл.слова: АЛМАЗНО-ИСКРОВОЕ ШЛИФОВАНИЕ, ШЛИФОВАЛЬНЫЙ КРУГ, МЕТОДЫ ШЛИФОВАНИЯ
Дёгтев, А. А. Исследование собственных колебаний пакетов лопаток в поле центробежных сил / А. А. Дёгтев, В. А. Жовдак, А. С. Степченко. - С .53-56. - Библиогр. в конце ст.
Кл.слова: ПАРОВЫЕ ТУРБИНЫ, КОЛЕБАНИЯ, ЛОПАТКИ ТУРБИН
Доброскок, Владимир Ленинмирович. Направленное регулирование вибрационных характеристик прецизионных расточных резцов из сверхтвердых материалов / В. Л. Доброскок, Ю. Л. Уварова. - С .57-63. - Библиогр. в конце ст.
Кл.слова: ФИЗИКА ТВЕРДОГО ТЕЛА, СВЕРХТВЕРДЫЕ МАТЕРИАЛЫ, ШЛИФОВАЛЬНАЯ ОБРАБОТКА
Долгов, А. И. Экспериментальная установка для исследования аэродинамических и теплофизических процессов в решетках турбинных лопаток / А. И. Долгов. - С .64-67
Кл.слова: ГАЗОТУРБИННЫЕ ДВИГАТЕЛИ, КОЭФФИЦИЕНТ ТЕПЛООТДАЧИ, ЛОКАЛЬНЫЙ ТЕПЛООБМЕН
Доля, Виктор Николаевич. О постоянстве оптимальных температур резания / В. Н. Доля. - С .68-70
Кл.слова: РЕЖУЩИЙ ИНСТРУМЕНТ, ОБРАБОТКА МЕТАЛЛОВ РЕЗАНИЕМ, ТВЕРДОСПЛАВНЫЕ РЕЗЦЫ
Жовдак, Валерий Алексеевич. Поиск экстремума при параметрической оптимизации ультразвуковой усталостной установки / В. А. Жовдак [и др.]. - С .71-75. - Библиогр. в конце ст.
Інші автори: Кирилова Н. А., Смирнов М. М., Чобитько Т. Н.
Кл.слова: ПРЕОБРАЗОВАТЕЛЬ ЛАНЖЕВЕНА, МЕТОД НЬЮТОНА-РАФСОНА, ТИТАНОВЫЙ ВОЛНОВОД
Жовдак, Валерий Алексеевич. Влияние натяга на напряженно-деформированное состояние вращающегося колеса турбокомпрессора / В. А. Жовдак, В. А. Левашов, Л. А. Смирнова. - С .76-80. - Библиогр. в конце ст.
Кл.слова: ЦЕНТРОБЕЖНЫЕ ТУРБОКОМПРЕССОРЫ, ПРОГРАММНЫЙ КОМПЛЕКС ANSYS, ЦЕНТРОБЕЖНЫЕ СИЛЫ
Жорник, Н. И. Экскурс в историю развития отечественной науки о резании материалов / Н. И. Жорник. - С .81-84. - Библиогр. в конце ст.
Кл.слова: ОБРАБОТКА МЕТАЛЛОВ РЕЗАНИЕМ, ОБЩЕИНЖЕНЕРНЫЕ ДИСЦИПЛИНЫ, РЕЖИМЫ РЕЗАНИЯ
Загребельный, Валентин Николаевич. Экспертная оценка контактных напряжений в полюсе зацепления круговых зубьев центральных передач тракторов в период нормальной эксплуатации / В. Н. Загребельный. - С .85-100. - Библиогр. в конце ст.
Кл.слова: ЗУБЧАТЫЕ КОЛЕСА, УПРУГИЕ ДЕФОРМАЦИИ, ДИНАМИЧЕСКИЕ НАГРУЗКИ
Залога, В. А. Методика экспериментального определения коэффициентов уравнения силы резания для процессов с переменной толщиной среза / В. А. Залога, Д. В. Криворучко, В. В. Сайко. - С .101-104. - Библиогр. в конце ст.
Кл.слова: ШЛИФОВАНИЕ МЕТАЛЛОВ, РЕЗАНИЕ МАТЕРИАЛОВ, МЕТОД НАИМЕНЬШИХ КВАДРАТОВ
Зинченко, Елена Ивановна. Применение метода синтеза многозвенных механизмов с выстоем, основанного на свойствах крайних положений механизма / Е. И. Зинченко, В. Н. Загребельный. - С .105-109. - Библиогр. в конце ст.
Кл.слова: ВЫТЯЖНЫЕ ПРЕССЫ, ШАРНИРНО-РЫЧАЖНЫЕ МЕХАНИЗМЫ, КРИВОШИПНО-ПОЛЗУННЫЕ МЕХАНИЗМЫ
Іванов, Ю. М. Холодне пластичне деформування як засіб інженерії поверхні деталей машин / Ю. М. Іванов, Е. К. Посвятенко. - С .110-113. - Бібліогр. в кінці ст.
Кл.слова: ПРОТЯЖНИЙ ІНСТРУМЕНТ, ДЕФОРМУЮЧІ ІНСТРУМЕНТИ, ДЕФОРМУЮЧЕ ПРОТЯГУВАННЯ
Кальченко, В. В. Общая трехмерная (3D) модель поверхностей кругов при шлифовании со скрещивающимися осями инструмента и деталей / В. В. Кальченко. - С .114-118. - Библиогр. в конце ст.
Кл.слова: ШЛИФОВАНИЕ ПОВЕРХНОСТЕЙ, АЛМАЗНО-ИСКРОВОЕ ШЛИФОВАНИЕ, АБРАЗИВНЫЕ КРУГИ
Киреев, Н. Г. Максиминный критерий при синтезе параметров технических объектов и систем со случайными параметрическими возмущениями / Н. Г. Киреев, М. В. Лежнина, В. Г. Сухоребрый. - С .119-121. - Библиогр. в конце ст.
Кл.слова: ФУНКЦИИ СЛУЧАЙНЫХ ВЕЛИЧИН, ДИНАМИЧЕСКИЕ СИСТЕМЫ, ВЕРОЯТНОСТНЫЕ МЕТОДЫ
Козакова, Н. В. Оценка температуры разрушения в системе “алмазный кристаллит - металлофаза” с учетом внутренних дефектов алмазов / Н. В. Козакова. - С .122-125. - Библиогр. в конце ст.
Кл.слова: КОМПОЗИЦИОННЫЕ МАТЕРИАЛЫ, СИНТЕТИЧЕСКИЕ АЛМАЗЫ, МЕТАЛЛОГРАФИЧЕСКИЙ АНАЛИЗ
Коломак, Валерий Демьянович. К применению программного комплекса анализа напряженно-деформированного состояния лопаток турбомашин / В. Д. Коломак, В. Н. Конкин, С. Ю. Погорелов. - С .126-128. - Библиогр. в конце ст.
Кл.слова: МЕТОД КОНЕЧНЫХ ЭЛЕМЕНТОВ, ДЕТАЛИ ПАРОВЫХ ТУРБИН, МЕХАНИКА ДЕФОРМИРУЕМЫХ ТЕЛ
Кривошея, А. В. Схематическое представление способов синтеза формообразующе-производящих систем зубчатых зацеплений / А. В. Кривошея. - С .129-139. - Библиогр. в конце ст.
Кл.слова: ЗУБЧАТЫЕ КОЛЕСА, ЦИЛИНДРИЧЕСКИЕ ЗУБЧАТЫЕ ПЕРЕДАЧИ, ЗУБООБРАБАТЫВАЮЩИЙ ИНСТРУМЕНТ
Кузнецов, Ю. А. Об одной концепции повышения надежности системы управления космического аппарата / Ю. А. Кузнецов. - С .140-144. - Библиогр. в конце ст.
Кл.слова: БОРТОВЫЕ ЦИФРОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ, НАЗЕМНЫЕ КОМПЛЕКСЫ УПРАВЛЕНИЯ, БОРТОВЫЕ КАТАЛОГИ
Курпа, Лидия Васильевна. Применение метода R-функций к задачам о собственных колебаниях пологих оболочек с заданным планом / Л. В. Курпа, Е. И. Любицкая. - С .145-149. - Библиогр. в конце ст.
Кл.слова: ТОНКОСТЕННЫЕ КОНСТРУКЦИИ, ТЕОРИЯ ОБОЛОЧЕК, СВОБОДНЫЕ КОЛЕБАНИЯ
Lavrynenko, S. N. Modelling of high-precision single-point micromachining of optical, photonic and bioengineering polymers by microindentation / S. N. Lavrynenko [and etc.]. - С .150-153. - Bibliography is at the end of the article
Інші автори: Nixon G., Walker D. D., Puttick K. E.
Кл.слова: ТЕРМОПЛАСТИЧНЫЕ ПОЛИМЕРЫ, АЛМАЗНЫЙ ИНСТРУМЕНТ, МИКРОМЕХАНИКА
Литвин, О. М. Мішана вейвлет-апроксимація функцій 2-х змінних з використанням операторів вейвлет-апроксимації по одній змінній / О. М. Литвин, В. М. Удовиченко. - С .154-159. - Бібліогр. в кінці ст.
Кл.слова: БЛЕНДИНГ-АПРОКСИМАЦІЇ, ПОХИБКИ НАБЛИЖЕННЯ, ВЕЙВЛЕТ-АПРОКСИМАЦІЇ ХААРА
Мельтюхов, М. В. Расчеты на ползучесть стержневых элементов конструкций с учетом деформаций сдвига / М. В. Мельтюхов. - С .160-163. - Библиогр. в конце ст.
Кл.слова: ВИБРОПОЛЗУЧЕСТЬ, ГИБКИЕ СТЕРЖНИ, ДЕФОРМАЦИИ СТЕРЖНЕВЫХ СИСТЕМ
Морачковский, Олег Константинович. Вариационный принцип Рейсснера и структуры решений краевых задач теории упругости / О. К. Морачковский, Ю. В. Ромашов, В. А. Сало. - С .164-166. - Библиогр. в конце ст.
Кл.слова: НАПРЯЖЕННО-ДЕФОРМИРОВАННОЕ СОСТОЯНИЕ, МЕТОД БУБНОВА-ГАЛЕРКИНА, ВАРИАЦИОННЫЕ МЕТОДЫ
Назаров, А. С. Выбор модельных параметров и формирование управляющих моментов кинематической модели разворота ИСЗ / А. С. Назаров. - С .167-171. - Библиогр. в конце ст.
Кл.слова: ИСКУССТВЕННЫЙ СПУТНИК, КИНЕМАТИЧЕСКИЕ УРАВНЕНИЯ, ОРИЕНТАЦИЯ ТВЕРДОГО ТЕЛА
Нестеров, А. П. Моделирование нагруженности дорожных машин, созданных на базе трактора Т-150К / А. П. Нестеров, В. Г. Кухтов, О. В. Щербак. - С .172-176. - Библиогр. в конце ст.
Кл.слова: колесные тракторы, ГИДРОЦИЛИНДРЫ, ДИНАМИЧЕСКИЕ НАГРУЗКИ
Нехорошев, Б. Г. Некоторые вопросы проектирования роторно-поршневых компрессоров / Б. Г. Нехорошев, З. С. Сафонов. - С .177-180. - Библиогр. в конце ст.
Кл.слова: ТЕРМОДИНАМИЧЕСКИЕ РАСЧЕТЫ, НИТРОЦЕМЕНТИРУЕМЫЕ СТАЛИ, РОТАЦИОННЫЕ КОМПРЕССОРЫ
Павлов, А. И. Совершенствование зубчатых зацеплений с выпукло-вогнутым контактом / А. И. Павлов. - С .181-184. - Библиогр. в конце ст.
Кл.слова: ЗУБЧАТЫЕ ПЕРЕДАЧИ, УРАВНЕНИЕ ЭЙЛЕРА, ИЗГИБНАЯ ПРОЧНОСТЬ ЗУБЬЕВ
Павлюченко, И. Н. Создание параметрической модели зуборезной головки / И. Н. Павлюченко, Ю. Н. Внуков. - С .185-188. - Библиогр. в конце ст.
Кл.слова: ЗУБЧАТЫЕ КОЛЕСА, КРУГОВЫЕ ЗУБЬЯ, МЕТАЛЛОРЕЖУЩИЕ ИНСТРУМЕНТЫ
Плаксий, Ю. А. Применение дискретных моделей кажущихся поворотов для определения кватернионов ориентации КА в условиях избыточного числа ДУС / Ю. А. Плаксий, М. В. Некрасова. - С .189-193. - Библиогр. в конце ст.
Кл.слова: ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ, ВЕКТОР СКОРОСТИ, КВАТЕРНИОНЫ
Полевич, В. В. Математичне моделювання процесу отримання емульсії рідин, що не змішуються / В. В. Полевич. - С .194-196
Кл.слова: ХАРЧОВІ ЕМУЛЬСІЇ, КРИТЕРІАЛЬНІ ФУНКЦІЇ, В’ЯЗКА рідина
Проволоцкий, А. Е. Расчет крутящегося момента резания при шлифовании наружной цилиндрической поверхности полимероабразивными кругами-щетками / А. Е. Проволоцкий, С. Л. Негруб. - С .197-206. - Библиогр. в конце ст.
Кл.слова: РЕЖИМЫ РЕЗАНИЯ, РЕЖУЩИЙ ИНСТРУМЕНТ, СКОРОСТЬ РЕЗАНИЯ
Пылев, Владимир Александрович. Оценка степени влияния различных переходных процессов в общей модели эксплуатации дизеля на длительную прочность поршня / В. А. Пылев, А. Ф. Шеховцов, Н. В. Прокопенко. - С .207-209. - Библиогр. в конце ст.
Кл.слова: КАМЕРЫ СГОРАНИЯ ДИЗЕЛЕЙ, ПОРШНИ ДИЗЕЛЕЙ, БЫСТРОХОДНЫЕ ДИЗЕЛИ
Руднев, А. В. Сравнительный анализ использования различных СОТС и способов их применения с позиций экологии / А. В. Руднев, М. Д. Узунян. - С .210-213. - Библиогр. в конце ст.
Кл.слова: ШЛИФОВАЛЬНЫЕ КРУГИ, АЛМАЗНОЕ ШЛИФОВАНИЕ, СМАЗОЧНО-ОХЛАЖДАЮЩИЕ ТЕХНОЛОГИЧЕСКИЕ СРЕДСТВА
Рябчиков, Н. Л. Методы трехмерного моделирования в автоматизированном проектировании валов и барабанов / Н. Л. Рябчиков, Н. К. Резниченко, Е. П. Фалеева. - С .214-218. - Библиогр. в конце ст.
Кл.слова: ГИДРАВЛИЧЕСКОЕ СОПРОТИВЛЕНИЕ, ПОЛИМЕРНЫЕ ПЛЕНОЧНЫЕ МАТЕРИАЛЫ, 3 D-МОДЕЛИРОВАНИЕ
Сарахманов, Д. Д. Особенности определения нагруженности подвижных сопряжений гидроцилиндров одностороннего действия / Д. Д. Сарахманов, Н. П. Ремарчук. - С .219-222. - Библиогр. в конце ст.
Кл.слова: ГИДРАВЛИЧЕСКИЕ СИСТЕМЫ, КОЭФФИЦИЕНТ ПОЛЕЗНОГО ДЕЙСТВИЯ, ЭНЕРГЕТИЧЕСКИЕ ЗАТРАТЫ
Свіргун, В. П. Оптимальне керування кранами з плавно-регульованим приводом / В. П. Свіргун, В. О. Надточій. - С .223-227. - Бібліогр. в кінці ст.
Кл.слова: ВАНТАЖНІ ВІЗКИ, ВАНТАЖОПІДЙОМНІ МАШИНИ, ПРИНЦИП МАКСИМУМУ ПОНТРЯГІНА
Серова, Н. Н. Особенности структурно-фазовых превращений материала в зоне резания при алмазном шлифовании / Н. Н. Серова. - С .228-230. - Библиогр. в конце ст.
Кл.слова: ПЛОСКОЕ ШЛИФОВАНИЕ, ОБРАБОТКА МАТЕРИАЛОВ, АЛМАЗНО-АБРАЗИВНАЯ ОБРАБОТКА
Склепус, А. Н. Ползучесть пластин сложной формы с учетом повреждаемости / А. Н. Склепус. - С .231-235. - Библиогр. в конце ст.
Кл.слова: ПОЛЗУЧЕСТЬ ЭЛЕМЕНТОВ КОНСТРУКЦИЙ, ТОНКОСТЕННЫЕ ОБОЛОЧКИ, ТЕОРИЯ ПЛАСТИН
Склепус, С. Н. Решение осесимметричной задачи ползучести для тел конечных размеров методом R-функций / С. Н. Склепус. - С .236-240. - Библиогр. в конце ст.
Кл.слова: ДЕФОРМАЦИИ ПОЛЗУЧЕСТИ, ПОЛЗУЧЕСТЬ ОБОЛОЧЕК, ТЕОРИЯ УПРУГОСТИ
Степанов, Михаил Сергеевич. Подача СОЖ при скоростном прерывистом шлифовании / М. С. Степанов. - С .241-244. - Библиогр. в конце ст.
Кл.слова: СМАЗОЧНО-ОХЛАЖДАЮЩИЕ ЖИДКОСТИ, АБРАЗИВНАЯ ОБРАБОТКА, ОБРАБОТКА МАТЕРИАЛОВ
Сукайло, В. А. Моделирование тепловых деформаций при точении / В. А. Сукайло [и др.]. - С .245-250. - Библиогр. в конце ст.
Інші автори: Круковский П. Г., Верезуб Н. В., Лиерат Ф., Эммер Т.
Кл.слова: ТОКАРНАЯ ОБРАБОТКА, СМАЗОЧНО-ОХЛАЖДАЮЩИЕ МАТЕРИАЛЫ, МОДЕЛИРОВАНИЕ ТЕПЛОВЫХ ПОЛЕЙ
Тарсис, Екатерина Юрьевна. Контактная задача для плоского тела с односторонними жесткими ограничениями / Е. Ю. Тарсис. - С .251-254. - Библиогр. в конце ст.
Кл.слова: ТЕОРИЯ УПРУГОСТИ, ФУНКЦИОНАЛ ЛАГРАНЖА, ДЕФОРМАЦИИ
Ткаченко, Виктор Николаевич. Анализ влияния закрепления гибкого колеса волновой зубчатой передачи на его напряженное состояние / В. Н. Ткаченко. - С .255-258. - Библиогр. в конце ст.
Кл.слова: ЗУБЧАТЫЕ КОЛЕСА, ТЕОРИЯ ТОНКИХ УПРУГИХ ОБОЛОЧЕК, ВОЛНОВЫЕ ПЕРЕДАЧИ
Туренко, А. Н. Совершенствование методики динамического расчета автомобильного пневматического тормозного привода / А. Н. Туренко [и др.]. - С .259-263. - Библиогр. в конце ст.
Інші автори: Клименко В. И., Богомолов В. А., Сопко А. Д.
Кл.слова: УРАВНЕНИЕ КЛАПЕЙРОНА, УРАВНЕНИЕ БЕРНУЛЛИ, ПНЕВМАТИЧЕСКИЕ СИСТЕМЫ
Успенский, Валерий Борисович. Оптимальная разгрузка гиросиловой системы космического аппарата / В. Б. Успенский, Лю Хуэй. - С .264-268
Кл.слова: СИЛОВЫЕ ГИРОСКОПЫ, ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ, КОСМИЧЕСКИЕ АППАРАТЫ
Федоров, В. А. О симметрии напряженно-деформированного состояния двоякопериодических симметричных структур в условиях сдвига / В. А. Федоров. - С .269-274. - Библиогр. в конце ст.
Кл.слова: ГОЛОГРАФИЧЕСКАЯ ИНТЕРФЕРОМЕТРИЯ, МЕХАНИКА КОМПОЗИТОВ, МЕТОД КОНЕЧНЫХ ЭЛЕМЕНТОВ
Федорович, В. А. Роль частоты собственных колебаний алмазных зерен при алмазном шлифовании сверхтвердых материалов / В. А. Федорович. - С .275-278
Кл.слова: АЛМАЗНЫЕ КРИСТАЛЛИТЫ, КОМПОЗИЦИОННЫЕ МАТЕРИАЛЫ, МОНОКРИСТАЛЛЫ АЛМАЗОВ
Филипковская, Л. А. Структурно-аналитическая модель распознавания образов в управлении производственными ситуациями / Л. А. Филипковская. - С .279-283. - Библиогр. в конце ст.
Кл.слова: ТЕОРИЯ R-ФУНКЦИЙ, СИСТЕМЫ ОБРАБОТКИ ИНФОРМАЦИИ, МАТЕМАТИЧЕСКИЕ МОДЕЛИ
Чернов, А. Н. Исследование динамических процессов в вибрационных технологических аппаратах с электроприводом / А. Н. Чернов [и др.]. - С .284-290. - Библиогр. в конце ст.
Інші автори: Шатохин В. М., Шаповалов А. В., Чистовалов С. М.
Кл.слова: АСИНХРОННЫЕ ЭЛЕКТРОДВИГАТЕЛИ, ЭЛЕКТРИЧЕСКИЕ МАШИНЫ, ВИБРАЦИОННЫЕ ПРОЦЕССЫ
Чернов, А. Н. Моделирование динамических процессов в вибрационных технологических аппаратах / А. Н. Чернов [и др.]. - С .291-299. - Библиогр. в конце ст.
Інші автори: Шатохин В. М., Шаповалов А. В., Чистовалов С. М.
Кл.слова: НИЗКОЧАСТОТНЫЕ ВИБРАЦИИ, ДИНАМИЧЕСКИЙ АНАЛИЗ, ВИБРАЦИОННЫЕ МЕХАНИЗМЫ
Чистилина, Анна Викторовна. Исследование собственных колебаний оребренных пластин с помощью метода R-функций / А. В. Чистилина. - С .300-305. - Библиогр. в конце ст.
Кл.слова: КОЛЕБАНИЯ ДЕФОРМИРУЕМЫХ ТЕЛ, ПЛАСТИНЫ УПРУГИЕ, ТЕОРИЯ ПЛАСТИН
Шелковой, Александр Николаевич. Структурно-функциональная схема имитационного моделирования производственных систем в режиме реального времени / А. Н. Шелковой, М. В. Буренков. - С .306-313. - Библиогр. в конце ст.
Кл.слова: ГИБКИЕ ПРОИЗВОДСТВЕННЫЕ СИСТЕМЫ, ОБРАБОТКА МЕТАЛЛОВ РЕЗАНИЕМ, ИМИТАЦИОННЫЕ МОДЕЛИ
Шматко, Александр Витальевич. Компьютерное моделирование задач теории пластин и пологих оболочек при помощи системы управления знаниями POLE-SHELL / А. В. Шматко. - С .314-318. - Библиогр. в конце ст.
Кл.слова: ТОНКОСТЕННЫЕ КОНСТРУКЦИИ, ТЕОРИЯ ПЛАСТИН, ТЕОРИЯ ПОЛОГИХ ОБОЛОЧЕК
Яблочков, С. В. Алгоритм решения задач о вершинном покрытии и независимом множестве / С. В. Яблочков. - С .319-324. - Библиогр. в конце ст.
Кл.слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ ГРАФОВ, КОМБИНАТОРНАЯ ОПТИМИЗАЦИЯ
ДРНТІ
УДК

Кл.слова (ненормовані):
ТУРБИННЫЕ ЛОПАТКИ -- КОМПРЕССОРЫ -- КРАНЫ -- ТОРМОЗНОЙ ПРИВОД -- СОТС
Дод.точки доступу:
Тимофеев, Юрий Викторович (доктор технических наук ; 1935) \отв. ред.\
Банзе, В.
Чобитько, Т. Н.
Puttick, K. E.
Лиерат, Ф.
Эммер, Т.
Сопко, А. Д.
Чистовалов, С. М.
Национальный технический университет “Харьковский политехнический институт”

Примірників усього: 3
аб.1 (3)
Вільні: аб.1 (3)

Знайти схожі

7.
   51
   Р 83


    Ружа, И.
    Основания математики [Текст] = Die begriffswelt der mathematik / И. Ружа ; общ. ред. В. Л. Макаров ; пер.: М. М. Белова, В. И. Костенко. - Киев : Вища шк., 1981. - 350 с. - 3.90 р., 10.00 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
математические основания -- натуральные числа -- бесконечные множества -- математическая логика
Дод.точки доступу:
Макаров, В. Л. \общ. ред.\
Белова, М. М. \пер.\
Костенко, В. И. \пер.\

Примірників усього: 2
аб.1 (2)
Вільні: аб.1 (2)

Знайти схожі

8.
51
К 35


    Кемени, Дж.
    Введение в конечную математику [Текст] / Дж. Кемени, Дж. Снелл, Дж. Томпсон. - Москва : Мир, 1965. - 486 с. : рис., рис. - 2.14 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
математическая логика -- теория вероятностей -- теория игр
Дод.точки доступу:
Снелл, Дж.
Томпсон, Дж.

Примірників усього: 3
аб.1 (3)
Вільні: аб.1 (3)

Знайти схожі

9.
   062
   Х 23


Национальный технический университет “Харьковский политехнический институт”.

    Вестник Национального технического университета “ХПИ” [Текст] : сб. научн. тр. : темат. вып. / НТУ “ХПИ”.
   Вып. 40 : Информатика и моделирование / отв. ред. В. Д. Дмитриенко. - Харьков : НТУ “ХПИ”, 2006. - 199 с. : рис. - 10.00 грн
    Зміст:
Бакуменко, Б. В. Порівняльний аналіз систем сигналів на базі фазової та частотної маніпуляції / Б. В. Бакуменко, І. І. Обод, В. А. Таршин. - С .3-6. - Библиогр.: с. 6 (7 назв.)
Кл.слова: РАДІОТЕХНІЧНІ СИСТЕМИ, ФАЗОВІ МАНІПУЛЯЦІЇ
Годлевский, М. Д. Подход к построению интегрированной системы управления высокотехнологичными проектами / М. Д. Годлевский, А. А. Поляков. - С .7-12. - Библиогр.: с. 12 (19 назв.)
Кл.слова: ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ИНФОРМАЦИОННЫЕ ПОТОКИ
Грабовський, Є. М. Фактори аналізу архітектури електронних підручників / Є. М. Грабовський. - С .13-20. - Бібліогр.: с. 20 (8 назв.)
Кл.слова: ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, ПРОГРАММУВАННЯ
Гурин, Анатолий Григорьевич. Уточнение фактических запасов нефти и газа сейсмоакустическими методами с использованием электродинамического принципа возбуждения колебаний / А. Г. Гурин, С. П. Мостовой, О. Н. Ярмак. - С .21-29. - Библиогр.: с. 29 (11 назв.)
Кл.слова: ОСТАТОЧНЫЕ ЗАПАСЫ, ЭЛЕКТРОРАЗРЯДНЫЕ ТЕХНОЛОГИИ
Гусятин, В. М. Подход к визуализации триангулированных поверхностей методом обратного трассирования лучей / В. М. Гусятин, А. Е. Громенко. - С .30-43. - Библиогр.: с. 43 (23 назв.)
Кл.слова: СПЕЦПРОЦЕССОРЫ, ПРОЕКЦИОННЫЕ ЛУЧИ
Гусятин, В. М. Организация конвейерных вычислений в задачах описания газодинамических объектов / В. М. Гусятин, В. Н. Сидоров. - С .44-48. - Библиогр.: с. 48 (8 назв.)
Кл.слова: ВИЗУАЛИЗАЦИЯ, СПЕЦПРОЦЕССОРЫ
Дмитриенко, В. Д. Динамическая линеаризация с помощью обратной связи математической модели тягового привода / В. Д. Дмитриенко, А. Ю. Заковоротный. - С .49-57. - Библиогр.: с. 57 (15 назв.)
Кл.слова: ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ, ЖЕЛЕЗНОДОРОЖНЫЙ ТРАНСПОРТ, ТЕХНОЛОГИЧЕСКИЕ ПРОЦЕССЫ
Дмитриенко, В. Д. Контроль энергетических цепей дизель-поезда с использованием нейронных сетей / В. Д. Дмитриенко, М. В. Липчанский. - С .58-64. - Библиогр.: с. 64 (7 назв.)
Кл.слова: ТЕХНИЧЕСКИЕ СИСТЕМЫ, МАТРИЦЫ, ВЫЧИСЛИТЕЛЬНЫЕ РЕСУРСЫ
Дьяков, А. Г. Автоматизированный выбор параметров измерительной установки ЯМР / А. Г. Дьяков, А. Ф. Даниленко. - С .65-69. - Библиогр.: с. 69 (8 назв.)
Кл.слова: ТЕХНОЛОГИЧЕСКИЕ ПРОЦЕССЫ, РАДИОИМПУЛЬСЫ
Дюбко, Г. Ф. Теоретические основы вывода в типизированных “плекс-грамматиках” / Г. Ф. Дюбко, Е. Л. Лещинская. - С .70-83. - Библиогр.: с. 83 (9 назв.)
Кл.слова: СИНТАКСИЧЕСКИЙ АНАЛИЗ, ИНТЕРФЕЙС
Жиляков, Е. Г. Об одном способе обнаружения пауз в речевых данных / Е. Г. Жиляков, С. П. Белов, Е. И. Прохоренко. - С .84-95. - Библиогр.: с. 95 (10 назв.)
Кл.слова: ИНФОРМАЦИОННО-ТЕЛЕКОММУНИКАЦИОННЫЕ СИСТЕМЫ, СТАЦИОНАРНЫЕ ПРОЦЕССЫ
Захаров, И. П. Анализ численных методов оценивания неопределенности в измерениях / И. П. Захаров. - С .96-100. - Библиогр.: с. 100 (7 назв.)
Кл.слова: МОДЕЛИРОВАНИЕ, КОРРЕЛЯЦИЯ
Иванов, В. Г. Преобразования Хаара в двоичной системе счисления и на плоскости произвольной размерности / В. Г. Иванов. - С .101-106. - Библиогр.: с. 106 (8 назв.)
Кл.слова: ЦИФРОВАЯ ОБРАБОТКА, МАТЕМАТИЧЕСКИЕ МЕТОДЫ
Калашников, В. И. Определение параметров ветра / В. И. Калашников. - С .107-113. - Библиогр.: с. 113 (11 назв.)
Кл.слова: МЕХАНИЧЕСКИЕ ИЗМЕРИТЕЛИ, ЭЛЕКТРИЧЕСКИЕ СИГНАЛЫ
Корсунов, А. Р. Цифровое моделирование рэоплетизмограмм и сфигмограмм для базы данных телекоммуникационной системы комплекса электромагнитного воздействия на биоструктуры / А. Р. Корсунов. - С .114-118. - Библиогр.: с. 118 (13 назв.)
Кл.слова: БИОМЕДИЦИНСКИЕ ПАРАМЕТРЫ, ПУЛЬСОВЫЕ ВОЛНЫ
Маковейчук, К. О. Математична модель аналізу стану трудових ресурсів України / К. О. Маковейчук. - С .119-124. - Бібліогр.: с. 124 (11 назв.)
Кл.слова: ДЕМОГРАФІЧНА КРИЗА, ЕКОНОМІЧНА КІБЕРНЕТИКА
Максюта, Н. В. Структурная схема подсистемы анализа гемореологических показателей / Н. В. Максюта, А. И. Поворознюк, Э. Н. Будянская. - С .125-133. - Библиогр.: с. 133 (12 назв.)
Кл.слова: ЭРИТРОЦИТЫ, ТРОМБОЦИТЫ
Любчик, Л. М. Математические модели для вероятностного анализа риска возникновения аварий на предприятиях химической и нефтеперерабатывающей промышленности / Л. М. Любчик, Г. А. Голотайстрова. - С .134-137. - Библиогр.: с. 137 (10 назв.)
Кл.слова: ГРАФИЧЕСКИЕ МОДЕЛИ, МАТЕМАТИЧЕСКАЯ ЛОГИКА
Никитина, Т. Б. Робастное управление двухмассовой электромеханической системой в режиме буксования / Т. Б. Никитина. - С .138-144. - Библиогр.: с. 144 (7 назв.)
Кл.слова: ДИНАМИЧЕСКИЕ ПРОЦЕССЫ, ЭЛЕКТРОМЕХАНИЧЕСКИЕ СИСТЕМЫ
Ницын, А. Ю. Деформации изображения при визуализации трехмерных динамичных сцен / А. Ю. Ницын. - С .145-152. - Библиогр.: с. 152 (10 назв.)
Кл.слова: ТЕЛЕВИЗИОННОЕ ИЗОБРАЖЕНИЕ, ЛИНЕЙНЫЕ ПЕРСПЕКТИВЫ
Обод, И. И. Информационная сеть систем наблюдения как основа информационного обеспечения потребителей / И. И. Обод, Ю. А. Луценко. - С .153-156. - Библиогр.: с. 156 (7 назв.)
Кл.слова: ВОЗДУШНОЕ ПРОСТРАНСТВО, РАДИОЛОКАЦИЯ
Пустовойтов, П. Е. Методика анализа многокомпонентных входных потоков в компьютерных сетях / П. Е. Пустовойтов, Саед Абделаал Эль Саед Мохамед Эль. - С .157-164. - Библиогр.: с. 164 (13 назв.)
Кл.слова: КОМПЬЮТЕРНЫЕ СЕТИ, МНОГОКОМПОНЕНТНЫЕ КОМПОНЕНТЫ
Себко, В. П. Определение компонентов сигнала трехпараметрового вихретокового параметрического датчика / В. П. Себко, И. В. Тюпа, А. И. Котуза. - С .165-168. - Библиогр.: с. 168 (8 назв.)
Кл.слова: МАГНИТНЫЕ ПАРАМЕТРЫ, ЭЛЕКТРИЧЕСКИЕ ПАРАМЕТРЫ
Серая, О. В. Стохастическая задача коммивояжера / О. В. Серая, Л. В. Бачкир. - С .169-173. - Библиогр.: с. 173 (8 назв.)
Кл.слова: ГЕНЕТИЧЕСКИЕ АЛГОРИТМЫ, КЛАСТЕРИЗАЦИЯ
Сучков, Г. М. Эффективность обработки информации в современных приборах неразрушающего контроля / Г. М. Сучков, Е. А. Алексеев, В. В. Захаренко. - С .174-177. - Библиогр.: с. 177 (10 назв.)
Кл.слова: ДЕФЕКТОСКОПИЯ, МЕТАЛЛОИЗДЕЛИЯ
Ткачук, Н. В. Применение модели СОСОМО II в задачах управления системными требованиями при разработке программного обеспечения / Н. В. Ткачук, А. А. Земляной, В. А. Чугай. - С .178-185. - Библиогр.: с. 185 (12 назв.)
Кл.слова: КОРПОРАТИВНЫЕ ДОКУМЕНТЫ, СИСТЕМЫ УПРАВЛЕНИЯ ТРЕБОВАНИЯ
Шеховцов, В. А. Обработка нефункциональных требований на стадиях анализа и проектирования программного обеспечения / В. А. Шеховцов, А. В. Костанян. - С .186-197. - Библиогр.: с. 196-197 (16 назв.)
Кл.слова: КОМПОНЕНТЫ СИСТЕМЫ, ПРОМЕЖУТОЧНЫЕ МОДЕЛИ
ДРНТІ
УДК

Кл.слова (ненормовані):
ИНФОРМАТИКА -- НЕЙРОННЫЕ СЕТИ -- ТЕЛЕКОММУНИКАЦИОННЫЕ СИСТЕМЫ -- КОМПЬЮТЕРНЫЕ СЕТИ -- ОБРАБОТКА ИНФОРМАЦИИ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Дод.точки доступу:
Дмитриенко, Валерий Дмитриевич (доктор технических наук) \отв. ред.\
Национальный технический университет “Харьковский политехнический институт”

Примірників усього: 2
аб.1 (2)
Вільні: аб.1 (2)

Знайти схожі

10.
   Ч448,050
   П 78


   
    Проблеми викладання логіки та дисциплін логічного циклу [Текст] / КНУ. - Київ : ВПЦ “Київський університет”, 2008. - 200 с. - 22.00 грн
ДРНТІ
ББК Ч448,050л0 + Ч448,2л0 + Ю4л0

Кл.слова (ненормовані):
ФІЛОСОФСЬКА ОСВІТА -- ПРЕПОДАВАНИЕ ЛОГИКИ -- ЗАКОНЫ ЛОГИКИ -- ЛОГИЧЕСКАЯ КУЛЬТУРА -- БОЛОНСКИЙ ПРОЦЕСС -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- РИТОРИКА -- ПРЕПОДАВАНИЕ РИТОРИКИ -- ГУМАНИТАРНОЕ ОБРАЗОВАНИЕ
Дод.точки доступу:
Київський національний університет ім. Тараса Шевченка

Примірників усього: 1
аб.1 (1)
Вільні: аб.1 (1)

Знайти схожі

11.
51
Л 63


    Лисовик, Л. П.
    Трансдьюсеры. І [Текст] : науч.-попул. изд. / Л. П. Лисовик. - К. : Феникс, 2006. - 368 с. - ISBN 966-651-340-4 : 15.00 грн.
ДРНТІ
УДК

Кл.слова (ненормовані):
математическая логика -- неразрешимость -- устойчивые множества -- булевы алгебры
Примірників усього: 1
аб.1 (1)
Вільні: аб.1 (1)

Знайти схожі

12.
   62-50
   О-75


   
    Основы кибернетики. Математические основы кибернетики [Текст] : учебное пособие / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - Москва : Высш. шк., 1974. - 413 с. : ил. - 0.88 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ -- НЕЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ -- ТЕОРИЯ СЛУЧАЙНЫХ ПРОЦЕССОВ -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА -- КОМБИНАТОРНЫЙ АНАЛИЗ
Дод.точки доступу:
Галушкин, Александр Иванович
Дегтярев, Юрий Иванович
Калинин, Борис Николаевич
Костюк, Георгий Александрович
Марков, Вячеслав Николаевич
Пупков, Константин Александрович
Сачков, Владимир Николаевич
Шимко, Наталья Александровна
Пупков, Константин Александрович \ред.\

Примірників усього: 3
аб.4 (1), аб.1 (2)
Вільні: аб.4 (1), аб.1 (2)

Знайти схожі

13.
   42
   А 64


   
    Англо-русский словарь по вычислительной технике [Текст] = English-Russian Dictionary Computing Technique : справочное издание / общ. ред. С. А. Лебедев ; сост. В. К. Зейденберг [и др.]. - Москва : Сов. энциклопедия, 1964. - 279 с. - 0.99 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- ЯЗЫКОЗНАНИЕ -- АНГЛИЙСКИЙ ЯЗЫК -- РУССКИЙ ЯЗЫК -- ПРОГРАММИРОВАНИЕ -- КИБЕРНЕТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АНГЛІЙСЬКА МОВА -- РОСІЙСЬКА МОВА -- ИНОСТРАННЫЕ ЯЗЫКИ -- ТЕХНИЧЕСКИЕ СЛОВАРИ -- МОВОЗНАВСТВО -- ІНОЗЕМНІ МОВИ
Дод.точки доступу:
Лебедев, С. А. \общ. ред.\
Зейденберг, Виктор Карлович \сост.\
Аваев, Александр Васильевич \сост.\
Зиман, Юрий Львович \сост.\
Зимарев, Алексей Николаевич \сост.\
Иванов, Вячеслав Всеволодович \сост.\
Королев, Лев Николаевич \сост.\
Лосева, Татьяна Сергеевна \сост.\
Тароватова, Елизавета Васильевна \сост.\

Примірників усього: 9
аб.2 (1), аб.3 (5), аб.4 (2), Рез.фонд (1)
Вільні: аб.2 (1), аб.3 (5), аб.4 (2), Рез.фонд (1)

Знайти схожі

14.
   512.54
   А 39


    Акимов, О. Е.
    Дискретная математика : логика, группы, графы, фракталы [Текст] : учеб. пособие / О. Е. Акимов. - Москва : Акимова, 2005. - 655 с. - ISBN 5-9900342-1-0 : 40.00 грн
ДРНТІ
УДК

Рубрики: Группы (матем.)

   Графов теория


   Фрактали


Кл.слова (ненормовані):
математическая логика -- графы -- фракталы
Примірників усього: 1
чз.2 (1)
Вільні: чз.2 (1)

Знайти схожі

15.
   512.54
   Д 64


    Долгих, Б. А.
    Дискретная математика [Текст] : учеб. пособие / Б. А. Долгих, А. А. Петренко ; МГИУ. - Москва : МГИУ, 2007. - 206 с. : ил. - ISBN 978-5-276-01103-5 : 30.00 грн
ДРНТІ
УДК

Кл.слова (ненормовані):
теория множеств -- комбинаторика -- теория графов -- математическая логика
Дод.точки доступу:
Петренко, А. А.
Московский государственный индустриальный университет

Примірників усього: 2
аб.4 (1), чз.2 (1)
Вільні: аб.4 (1), чз.2 (1)

Знайти схожі

16.
   621.791.8
   М34


   
    Математическая логика в программировании [Текст] : Сб.ст.:Пер.с англ. - [Б. м. : б. в.], 1991. - 408 с. - (Математическое обеспечение ЭВМ). - 0 р.
УДК

Кл.слова (ненормовані):
математическая логика -- программирование
Примірників усього: 1
0 (1)
Вільні: 0 (1)

Знайти схожі

17.
   518
   М 21


    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции [Текст] : научное издание / А. И. Мальцев. - 2-е изд. - Москва : Наука, 1986. - 368 с. : рис. - 1.70 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
НУМЕРОВАННЫЕ СОВОКУПНОСТИ -- МАШИНЫ ТЬЮРИНГА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ
Примірників усього: 5
аб.1 (1), аб.4 (3), 0 (1)
Вільні: аб.1 (1), аб.4 (3), 0 (1)

Знайти схожі

18.
   51
   В 62


    Воднев, В. Т.
    Основные математические формулы [Текст] : справочник / В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; ред. Ю. С. Богданов. - 2-е изд., перераб. и доп. - Минск : Вышэйш. шк., 1988. - 269 с. : ил. - 0 р., 1.10 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ -- ДИФФЕРЕНЦИАЛЬНЫЕ ИСЧИСЛЕНИЯ -- КОМПЛЕКСНЫЙ АНАЛИЗ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕНЗОРНОЕ ИСЧИСЛЕНИЕ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
Дод.точки доступу:
Наумович, А. Ф.
Наумович, Н. Ф.
Богданов, Ю. С. \ред.\

Примірників усього: 6
0 (2), чз.2 (1), аб.4 (1), аб.1 (2)
Вільні: 0 (2), чз.2 (1), аб.4 (1), аб.1 (1)

Знайти схожі

19.
   062
   М 34


АН СССР. Сибирское отделение. Институт математики.

    Труды института математики [Текст] / ИМ СО АН СССР.
   Т. 8 : Теория моделей и ее применение / отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 184 с. - ISSN 0208-0060. - ISBN 5-02-028576-5 : 3.10 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
ТЕОРИЯ ПОЛИГОНОВ -- ТЕОРИИ УНАРОВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ СТАБИЛЬНОСТИ -- ТЕОРИЯ НУМЕРАЦИЙ -- ТЕОРИЯ ПРОГРАММИРОВАНИЯ
Дод.точки доступу:
Ершов, Ю. Л. \отв. ред.\
АН СССР. Сибирское отделение. Институт математики

Примірників усього: 1
аб.1 (1)
Вільні: аб.1 (1)

Знайти схожі

20.
51
Л 69


   
    Логика. Автоматы. Алгоритмы [Текст] / М. А. Айзерман [и др.]. - Москва : Физматлит, 1963. - 556 с. : ил. - 1.45 р.
ДРНТІ
УДК

Кл.слова (ненормовані):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- РЕЛЕЙНО-КОНТАКТНЫЕ СХЕМЫ -- ДИНАМИЧЕСКИЕ СИСТЕМЫ -- ТЕЗИС ЧЕРНА -- МАШИНЫ ТЬЮРИНГА -- РЕЛЕЙНО-КОНТАКТНАЯ ТЕХНИКА
Дод.точки доступу:
Айзерман, М. А.
Гусев, Л. А.
Розоноэр, Л. И.
Смирнова, И. М.
Таль, А. А.

Примірників усього: 1
АБ.4 (1)
Вільні: АБ.4 (1)

Знайти схожі

 1-10    11-20   21-30   31-40   41-50   51-60      
 

Наша адреса: 61000, Харків, вул. Кирпичова, 2
Науково-технічна бібліотека НТУ "ХПІ"
Контактний телефон: (057) 707-63-07
E-mail: library@khpi.edu.ua