Головна
Сайт Наукової бібліотеки
Спрощений режим
Опис
Авторизація
Прізвище
Пароль
Наукова бібліотека ДБТУ
Бази даних
Електронний каталог книг - результати пошуку
Вид пошуку
Електронний каталог книг
Електронний каталог статей
Праці науковців
Дисертації та автореферати дисертацій
Охоронні документи
Рідкісні та цінні видання
Видання Springer Link
Краєзнавча база «Харків»
Бібліотечна справа
Інтернет-ресурси
Зона пошуку
Ключові слова (повнотекстовий пошук)
Автор
Назва
Рік видання
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
(<.>K=формализация<.>)
Загальна кількість знайдених документів
:
6
Показані документи
с 1 за 6
>
1.
330.362
К 66
Кораблин, Сергей Александрович
.
Макроэкономическое равновесие: стоимостные и ценовые пропорции [Текст] / С. А. Кораблин ; Ин-т экономики АН Украины. - Киев : Наук. думка, 1993. - 168 с. - Библиогр.: с. 163-167. -
ISBN
5-12-003900-6
УДК
330.362
Кл.слова (ненормовані):
анализ моделей
--
аналіз моделей
--
трехпродуктовая модель
--
трьохпродуктова модель
--
пропорции
--
пропорції
--
воспроизводство
--
відтворення
--
межотраслевой баланс
--
міжгалезевий баланс
--
статическая модель
--
статична модель
--
формализация
--
формалізація
--
макропропорции
--
макрокорпорації
Дод.точки доступу:
Ин-т экономики АН Украины
Бібліотечний пункт
Вільні
Всього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)
1
1
Знайти схожі
>
2.
16(075.8)
К 67
Конверський, Анатолій Євгенійович
.
Логіка [Текст] : підручник / А. Є. Конверський. - Київ : Четвеpта хвиля, 1998. - 272 с. - Бібліогр.: с. 268. -
ISBN
966-529-056-8
УДК
16(075.8)
Кл.слова (ненормовані):
логіка
--
логика
--
мислення і мова
--
мышление и речь
--
формалізація
--
формализация
--
семантичний аналіз
--
семантический анализ
--
вирази природної мови
--
выражения естественного языка
--
поняття
--
понятия
--
судження
--
суждения
--
умовивід
--
умозаключение
--
аргументація
--
аргументация
Бібліотечний пункт
Вільні
Всього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)
1
1
Абонемент і читальний зал б. п. №3 (вул. Алчевських, 44)
1
1
Знайти схожі
>
3.
62-50
З-38
Захаров, Валерий Николаевич
.
Системы управления. Задание. Проектирование. Реализация [Текст] / В. Н. Захаров, Д. А. Постелов, В. Е. Хазацкий. - 2-е изд., перераб. и доп. - М. : Энергия, 1977. - 424 с. - Библиогр.: с. 417-420
Зміст:
Разговор с заказчиком
. -
С
.1-59
Формализация
задания
. -
С
.60-103
От формального технического задания к структуре
. -
С
.104-279
Переход к реализации
. -
С
.280-371
Что получилось в результате
. -
С
.372-417
УДК
62-50
Кл.слова (ненормовані):
проектирование систем управления
--
проєктування систем управління
--
оценка качества систем управления
--
оцінка якості систем управління
--
специальный язык
--
спеціальна мова
Дод.точки доступу:
Постелов, Дмитрий Александрович
Хазацкий, Вилий Ефимович
Бібліотечний пункт
Вільні
Всього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)
2
2
Знайти схожі
>
4.
631.3
И 88
Испытания сельскохозяйственной техники
[Текст] / С. В. Кардашевский, Л. В. Погорелый, Г. М. Фудиман. - М. : Машиностpоение, 1979. - 288 с. : табл. - Библиогр.: с. 283-287
УДК
631.3
Кл.слова (ненормовані):
системные методы оценки
--
системні методи оцінювання
--
формализация
принятия решений
--
формалізація прийняття рішень
--
статистические методы анализа
--
статистичні методи аналізу
--
математическое моделирование
--
математичне моделювання
--
агротехническая оценка
--
агротехнічна оцінка
--
методы оценки надежности
--
методи оцінювання надійності
Дод.точки доступу:
Кардашевский, Сергей Владимирович
Погорелый, Леонид Владимирович
Фудиман, Григорий Моисеевич
Бібліотечний пункт
Вільні
Всього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)
3
3
Знайти схожі
>
5.
631.3.004.67
Р 24
Рассказов, Максим Яковлевич
.
Организация ремонтного производства агропрома [Текст] / М. Я. Рассказов. - М. : Росагpопpомиздат, 1990. - 208 с. -
ISBN
5-260-00100-1
УДК
631.3.004.67
Кл.слова (ненормовані):
характеристика
--
специализация
--
организация
--
мощность
--
энергетическое хозяйство
--
формализация
--
математическая модель
Бібліотечний пункт
Вільні
Всього екземплярів
Абонемент б. п. №1 (пр. Московський, 45)
2
2
Знайти схожі
>
6.
65.32я7
К 26
Карпенко, Александр Фролович
.
Практикум по математическому моделированию экономических процессов в сельском хозяйстве [Текст] : учеб. пособие / А. Ф. Карпенко, В. А. Кардаш, Н. С. Низова ; под ред. А. Ф. Карпенко. - 2-е изд., перераб. и доп. - М. : Агропромиздат, 1985. - 270 с. - (Учебники и учебные пособия для высших сельскохозяйственных учебных заведений). - Библиогр.: с. 268
Прил.: с. 255-267
ББК
65.32я7
Кл.слова (ненормовані):
математическая
формализация
--
анализ оптимального плана
--
моделирование
--
математические модели
Дод.точки доступу:
Кардаш, Виктор Алексеевич
Низова , Нина Семеновна
Карпенко, А. Ф. \под ред.\
Бібліотечний пункт
Вільні
Всього екземплярів
Абонемент і читальний зал б. п. №3 (вул. Алчевських, 44)
4
4
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
Стандартний
Розширений
Професійний
За словником
КЗ: Кафедра - дисципліна
Статистика звернень
© Асоціація ЕБНІТ