Розкриття особливостей формалізму і реалізму як стилів судового правотлумачення. Зміст норми права під час її дії. Застосування пріоритету принципу законності. Семантика правового тексту, що інтерпретується. Ризик ухвалення несправедливих судових рішень.
Наголошено, що поза літературознавством формалізм також виявився у художній та соціальній площині, що дозволяє визначити його як теоретично-художньо-соціальний дискурс. Окреслено модель формалізму як систему, створену на підставі загальної теорії систем.
Об’єктивізація оцінки санаторно-курортного лікування хворих на хронічні обструктивні захворювання легенів шляхом використання формалізованої системи. Категорії ефективності лікування. Математичні моделі прийняття рішення про наслідок лікування.
Задачі клінічної пульмонології, що виявляється в об’єктивізації оцінки ефективності санаторно-курортного лікування хворих на хронічні обструктивні захворювання легенів шляхом використання формалізованої системи. Виклад правил формалізації їх значень.
Загальна схема дослідження ефективності промислового виробництва України, її вхідні та вихідні параметри. Функціональна залежність чинників впливу на ефективність виробництва. Алгоритм оцінювання ефективності сучасного промислового виробництва України.
Технологічний процес післядрукарського опрацювання книжкових видань, який полягає у перетворенні віддрукованих аркушів та інших конструкційних елементів у готову книгу. Ключові особливості теорії графів і семантичних мереж та елементів логіки предикатів.
Розробка підходу до взаємодії між системами розпізнавання та інтерпретації природної мови. Характеристика логіко-граматичних моделей конструювання діалога користувача з комп'ютерною системою. Розгляд середовища проектування природно-мовних інтерфейсів.
Аналіз математичної моделі та алгоритмів метеорологічного прогнозування. Конструювання алгоритмів та генерація програм чисельного прогнозування погоди. Комп'ютерна реалізація методів моделювання метеорологічних процесів на відеографічному прискорювачі.
Розглядається варіант формалізованого опису мобільних адаптивних радіомереж передачі даних тактичної ланки управління. Обґрунтування доцільності використання даних мереж для розробки способів застосування перспективних систем радіоелектронної боротьби.
Стан системи радіолокаційної розвідки. Обґрунтування вимоги до побудови систем передачі даних. Рішення задачі синтезу оптимальної структури за критерієм максимуму функціональної стійкості з обмеженням на вартість побудови та експлуатації ліній зв’язку.
Дослідження формальної архітектури агентів чотирьох типів, які здійснюють пошук джерел даних для моніторингу результатів наукової діяльності. Мультиагентна система веб-моніторингу. Оцінювання веб-сторінки на основі методу компараторної ідентифікації.
Суть формального підходу до творів культури на прикладі оцінки філософських теорій. Стан сучасної культури, перспективи її розвитку. Фройдистський принцип насолоди. Способи вирішення конфлікту. Сумісність патогенного афекту із системою базисних принципів.
Розгляд питання визначальної дисципліни архітектурного напрямку - композиції, яка тісно взаємодіє з рисунком, живописом, історією мистецтв, кольорознавством. Аналіз особливостей викладання фахівцям архітектурного напрямку вищого навчального закладу.
Поповнення агрегатними операціями сигнатури мультимножинної табличної алгебри. Визначення формально математичної семантики цих операцій та наведення прикладів їх застосування. Агрегатні операції над таблицями як мультимножинами рядків однієї схеми.
Питання пріоритетності формальної, неформальної, інформальної освіти в аспекті персонального брендингу викладача вишу. Співвідношення переваг і недоліків кожної з наведених форм освіти. Психолого-педагогічні характеристики формальної педагогічної освіти.
Теоретичне розкриття суті формальної, неформальної, інформальної освіти та їх місце в загальній освітній системі. Систематичність і послідовність у процесі навчання здобувачів. Розвиток здібностей критичного мислення особистості, її заохочення до аналізу.
Основные факторы, на которых строится классическая организация: разделение труда, скалярные (линейные) и функциональные процессы, диапазон контроля и структура. Понятие должностной ротации. Основные достоинства и недостатки функциональной организации.
Изучение иностранных языков в Узбекистане. Вариантность как общеязыковой феномен. Фразеология как лингвистическая дисциплина. Лексикографическое описание русских фразеологизмов. Классификация фразеологических оборотов по степени семантической слитности.
Кинетические уравнения для реакций нулевого, первого, второго и третьего порядков. Зависимость скорости реакции от концентрации реагента в первой степени. Кинетический закон в дифференциальной и интегральной форме. Единица измерения константы скорости.
- 13310. Формальная логика
Способ определения понятия, вид допущенной логической ошибки. Деление понятия по нескольким произвольно выбранным основаниям. Определение истинности суждения и его вида по количеству и качеству. Термины, связка и кванторное слово. Сложное суждение.
Обоснование остроты вопросов, связанных с методикой преподавания начертательной геометрии в связи с нарастающей интенсификацией учебного процесса. Самостоятельная работа студента при решении задачи на определение точки пересечения прямой с плоскостью.
- 13312. Формальная логика как наука
Формальная логика как наука о законах и формах правильного мышлении. Mыcлитeльнaя дeятeльнocть чeлoвeкa: понятие о мышлении и его формах и структуре. Предмет формальной логики и ее особенности. Определение одинаковой логической формы в выражениях.
- 13313. Формальная метаонтология
Принципы формальной метаонтологии, которые лежат в фундаменте логики и математики, а через них и всей науки как доказательного знания о реальности. Метаонтологический базис логико-математических структур, применение формальных методов рассуждений.
Характеристика особенностей модели транзитивной интероперабельности в федеративных информационных системах. Ознакомление с главными принципами единой информационной системы здравоохранения. Определение основных преимуществ рассматриваемой модели.
Система шкал, позволяющая формализовать первичные и вторичные показатели для оценки экономической составляющей качества жизни населения региона. Разработка интегрального критерия. Проектирование обучающей выборки, импортированной в систему "Эйдос".
Низкая формальная регулярность в выражении большей части словообразовательных значений как одна из характерных закономерностей дезоонимического словопроизводства. Классификация адъективных производных в русском языке с семантической точки зрения.
Формальная модель многокритериального выбора, общепринятая в качестве основной модели принятия решений в системном анализе и в математической психологии. Оценка множества мотивов по критериям и выбор наиболее значимого для субъекта на данный момент.
Обсуждение логико-когнитивной теории аргументации Елены Лисанюк в контексте системы формальной философии аргументации. Формальная экспликация содержательных оснований как фактор обеспечения эвристического и прогностического эффектов ядра результатов.
Визначення семантичної ємності буттєвої моделі There-V-N(mod)-L, встановлення її прототипових і непрототипових значень (засобів прямої і непрямої номінації). Встановлення спільних ознак буттєвих речень і їх семантичних корелятів (синтаксичних синонімів).
Вивчення емоційності українського цифрового політичного дискурсу. Виокремлення на матеріалі політичних новин за 2019 р. (інтернет-видання "Українська правда") періодів з більшою емоційністю. Емоційне різноманіття в періоди обговорення результатів виборів.