• Класифікатори
• фор...

формалізація, формализация

Підтеми:

• формалізація поняття істини, формализация понятия истины

Документи:

• Корпоративна соціальна відповідальність [Електронний ресурс] [Текст] : метод. рекомендації до вивч. дисц. та викон. контрол. роботи для здобувачів освіт. ступ. "Магістр" спец. 073 "Менеджмент" освіт.-проф. програми "Менеджмент організацій і адміністрування" ден. та заоч. форм навч. / уклад. : Т. В. Березянко ; Нац. ун-т харч. технол. — Київ : НУХТ, 2019. — 48 с. — каф. економіки праці та менеджменту.
• Моделювання систем [Електронний ресурс] [Текст] : метод. реком. до вивч. дисц. та викон. контрол. роботи для студ. освіт. ступ. "Магістр" спец. 151 "Автоматизація та комп'ютерно-інтегровані технології" освіт. програми "Інтелектуальні комп'ютерні системи керування" ден. та заочн. форм навч. / уклад. : В. Д. Кишенько, Д. В. Паньков ; Нац. ун-т харч. технол. — Київ : НУХТ, 2018. — 67 с. — каф. автоматизації та інтелектуальних систем керування.
• Моніторинг та логістика виробничих процесів галузі [Електронний ресурс] [Текст] : метод. рек. до практ. занять для студ. спец. 7.05170108 "Технології зберігання, консервування та переробки молока" денної та заочної форми навч. / уклад. : Н. В. Чепель, О. В. Грек ; Нац. ун-т харч. технол. — Київ : НУХТ, 2014. — 37 с. — каф. технології молока і молочних продуктів ; рекомендовано кафедрою.
• Соціальна відповідальність [Електронний ресурс] [Текст] : метод. рекомендації до вивч. дисц. та викон. контрол. роботи для здобувачів освіт. ступ. "Магістр" спец. 076, 073 освіт.-проф. програми "Управління персоналом та економіка праці" "Менеджмент зовнішньоекономічної діяльності" ден. та заоч. форм навч. / уклад. : Т. В. Березянко ; Нац. ун-т харч. технол. — Київ : НУХТ, 2019. — 60 с. — каф. економіки праці та менеджменту.
• Azarova, A. O.
  Mathematical method of enterprise competitiveness level evaluation by using hopfield network [Текст] / A. O. Azarova, O. O. Moroz, O. V. Zhytkevych // Актуальні Проблеми Економіки. — 2013. — № 11 (149). — С. 149-154. — Бібліогр. в кінці ст.
• Андреев, Д. А.
  системно-онтологический подход к машинному описанию компонентной среды технологических процессов [Текст] / Д. А. Андреев, И. В. Антонов // Промышленные АСУ и конроллеры. — 2012. — № 9. — С. 29-34. — Библиогр. в конце ст.
• Воронін, А. М.
  Формалізований метод рішення багатокритеріальних задач [Текст] / А. М. Воронін, А. С. Савченко // Проблеми керування та інформатики. — 2022. — № 2, бер.-квіт. — C. 141-148. — Бібліогр. в кінці ст.
• Гороховский, С. С.
  К формализации агентно-ориентированных систем [Текст] / С. С. Гороховский, А. Н. Глибовец, О. А. Попов // Кибернетика и системный анализ. — 2012. — Т. 48, № 3. — С. 101-110. — Библиогр. в конце ст.
• Козьменко, С.
  Використання рядів Фур'є для формалізації структури фінансового ринку України [Текст] / С. Козьменко, Т. Васильєва, С. Лєонов // Економiст. — 2011. — № 2 (292). — С. 15-19. — Бібілогр.: с. 19.
• Кокодей, Т. А.
  Анализ и формализация стратегий ТПГ "Rainford" методом обратной идентификации (1992-1996 гг.) [Текст] / Т. А. Кокодей // Актуальні Проблеми Економіки. — 2012. — № 7. — С. 26-32. — Бібліогр. в кінці ст.
• Конверський, Анатолій Євгенович
  Логіка [Текст] : підручник / А. Є. Конверський ; Київ. нац. ун-т ім. Т. Шевченка. — 2-ге вид., випр. — Київ : Київ. ун-т, 2017. — 391 с. — ISBN 978-966-439-915-6.
• Конверський, Анатолій Євгенович
  Логіка традиційна та сучасна [Текст] : підручник / А. Є. Конверський ; Київ. нац. ун-т ім. Т. Шевченка. — К. : Київ. ун-т, 2007. — 440 с. — ISBN 966-594-977-2.
• Конверський, Анатолій Євгенович
  Логіка [Текст] : Підруч. / А. Є. Конверський ; Київ. нац. ун-т ім. Т. Шевченка. — К. : Центр навч. літ-ри, 2004. — 304 с. — ISBN 966-8568-48-6.
• Конверський, Анатолій Євгенович
  Логіка (традиційна та сучасна) [Текст] : Підруч. / А. Є. Конверський ; Київ. нац. ун-т ім. Т. Шевченка. — К. : Центр навч. літ., 2004. — 535 с. — ISBN 966-8365-26-7.
• Копитко, С. Б.
  Управління ефективністю системи захисту комп'ютерної інформації як задача динамічного програмування [Текст] / С. Б. Копитко // Актуальні Проблеми Економіки. — 2011. — № 10. — С. 255-261. — Бібліогр. : с. 261.
• Определение биологической ценности белков в рационах лечебно-профилактического назначения [Текст] / Ж. А. Крутовой, Н. И. Мячикова, А. В. Запаренко и др. // Пищевая промышленность. — 2013. — № 8. — С. 62-64. — Библиогр. : с. 64.
• Кузьмін, О. Є.
  Система контролю діяльності промислового підприємства: формування та формалізація [Текст] / О. Є. Кузьмін // Актуальні Проблеми Економіки. — 2012. — № 4. — С. 184-194. — Бібліогр. в кінці ст.
• Максімова, В. Ф.
  Методологічні інновації у сфері економічного контролю [Текст] / В. Ф. Максімова // Проблеми науки. — 2012. — № 7. — С. 2-8. — Бібліогр. в кінці ст.
• Маммадова, Айан Урфан
  Концептуальные основы определения стратегии управления предприятий в современный период [Текст] / А. У. Маммадова, кызы // Інвестиції: практика та досвід. — 2020. — № 1, січ. — С. 79-85. — Библиогр. в конце ст.
• Нартов, Б. К.
  Формализация задач автоматизированного поиска стационарных обьектов [Текст] / Б. К. Нартов // Приборы и системы.Управление, контроль, диагностика. — 2010. — № 12. — С.1-4.
• Новиков, Алексей
  О влиянии обслуживающих элементов на пропускную способность [Текст] / А. Новиков // Логистика=Logistics. — 2015. — № 2 (99). — С. 52-55. — Библиогр. : с. 55.
• Пономаренко, В. С.
  Витокі і особливості невизначеностей при прийнятті інвестиційних рішень [Текст] / В. С. Пономаренко, Л. М. Мазарець, О. В. Дорохов // Актуальні Проблеми Економіки. — 2011. — № 4. — С. 151-159. — Бібліогр.: с. 159.
• Пономаренко, В. С.
  Обобщенное многомерное шкалирование при анализе объектов в экономике, описанных в пространстве разнородных признаков [Текст] / В. С. Пономаренко, Л. М. Малярец, А. В. Дорохов // Актуальні Проблеми Економіки. — 2011. — № 9. — С. 280-288. — Библиогр. в конце ст.
• Птицына, Л. К.
  Формализация выбора систем виртуализации для образовательных программ по корпоративным информационным системам [Текст] / Л. К. Птицына, А. В. Птицын // Дистанционное и виртуальное обучение. — 2012. — № 8 (62). — С. 4-14. — Библиогр.: с. 14.
• Тофтул, Михайло Григорович
  Логіка [Текст] : Посіб. / М. Г. Тофтул. — К. : Академія, 2002. — 368 с. — (Альма-матер). — ISBN 966-580-119-8.
• Туктамышев, В. С.
  Независимое управление напряжениями в неоднородных системах с собственными деформациями [Текст] / В. С. Туктамышев, В. А. Лохов, Ю. И. Няшин // Математичні методи та фізико-механічні поля. — 2012. — Т.54, № 4. — С. 131-142. — Библиогр. в конце ст.