Алгоритм подбора перекрещивающихся, противоречащих и подчиненных понятий. Определение логических отношений между высказываниями, их выражение при помощи кругов Эйлера. Составление символической записи сложных суждений. Виды демонстративных умозаключений.

Понятие о логическом выводе. Непосредственные умозаключения. Особенности превращения суждений, противопоставление предикату. Противопоставление субъекту как преобразование категорического суждения. Проверка истинности заключения, правильности силлогизма.

Описания правил, связанных с умозаключением, используемым в процессе аргументации или критики. Характеристика отражения мысли о качественно определенном предмете. Определение языка общения физиков-атомщиков с точки зрения его логических характеристик.

Раскрытие понятия по видовым логическим характеристикам. Вид отношений приведенных в примере понятий, их отображение в помощью кругов Эйлера. Правила логического "деления понятий". Исследование правильности осуществления операции обобщения и ограничения.

Представление логической схемы конечной строчкой из символов операторов. Возможность программирования в аппаратном и алгоритмическом обеспечении. Многоканальные адаптивные системы для экспериментальных исследований. Программный диспетчер ввода-вывода.

Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.

Общие обозначения логических элементов и схемы их работы. Логические элементы базиса И, ИЛИ, НЕ на дискретных компонентах. Факторы, влияющие на быстродействие логического элемента и методы его повышения. Интегральный элемент эмиттерно-связанной логики.

Разработка принципиальной схемы четырехразрядного сумматора. Построение и содержание таблиц истинности входных значений. Формирование значений суммы при выходе из первого одноразрядного сумматора. Порядок и этапы вычисления значения конечного разряда.

Транзисторный ключ как операция логического "НЕ". Логическое умножение "И" и сложение "ИЛИ". Интегральная транзисторная логика. RS–триггер, синхронизируемый по фронту. Цифровые устройства комбинационного типа, параллельные регистры и полный сумматор.

Алгебра логики или булева алгебра как математическая основа цифровой электроники и вычислительной техники. Логический элемент И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ, их классификация по типу применяемых транзисторов. Статические и динамические логические элементы.

Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.

Сущность алгебры логики как математической основы цифровой и вычислительной техники. Характеристика логического элемента как электронного устройства, реализующего одну из логических операций. Логическое сложение и умножение в компьютерах, функция Пирса.

Высказывание и предложение. Логическая структура высказываний, способы образования сложных форм, операции над ними. Логическое следование. Анализ рассуждений естественного языка. Непосредственные умозаключения традиционной логики. Модальность суждений.

Исследование систем управления как направление науки о развитии сложных общественно-экономических систем. Современная парадигма исследования систем управления. Составляющие логического аппарата, этапы решения проблемы и выбора метода прогнозирования.

Естественный отбор – универсальный принцип биологической эволюции, играющий ведущую роль в преобразовании местных популяций. Причины усложнения организации животных на сверхвидовом уровне - одна из проблем для теоретического философского познания.

Материальное воплощение суждения как понятия в словах, устной или письменной речи. Соотношение логического суждения и грамматического предложения. Логический строй мысли и грамматическая форма речи. Изучение состава суждения: субъекта, предиката и связки.

Основные виды вопросов, их понятие, функции и критерии правильности. Правила ответов на вопросы, их характеристика и особенности. Вопросно-ответный комплекс как основной элемент общения и мышления людей. Задачи логико-лингвистического образования.

Описание предложенного механизма реализации логического вывода в условиях каналов связи с низкой пропускной способностью между членами роя, которые остаются практически свободными. Характеристика его недостатков. Эмерджентные свойства элементов роя.

Умение осуществлять деятельность в условиях неопределенности как жизненно важный фактор для современных организаций. Составление планов, корректировка с учетом появления непредвиденных обстоятельств. Научное применение метода логического инкрементализма.

Технологические и языковые средства искусственного интеллекта в робототехнике. Разработка и обоснование алгоритмов информационного обеспечения мобильных систем. Исследование их сравнительной эффективности и адекватности интерпретации сенсорной информации.

Рассуждения как сущность логического метода решения текстовых задач. Характеристика их способа решения. Примеры текстовых задач, решаемых логическим способом. Возникновение логического способа решения. Суть логического способа решения текстовых задач.

Понятие философии как науки, три основные стадии её эволюции, функции и место в системе культуры. Исторические формы философствования. Взаимоотношение логического и исторического как категорий материалистической диалектики, их единство и различие.

Закономерности развития мышления. Логическое мышление учащихся и его основные компоненты. Формирование понятий, развитие алгоритмического мышления. Особенности построения информационно-логической модели. Решение логических задач в курсе информатики.

Понятие как форма мышления. Основные виды суждений и отношения между ними. Схема "логического квадрата". Логическая характеристика видов понятий. Особенности закона исключенного третьего. Сущность и структура доказательства. Логическая структура понятия.

Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.

Обзор методов логического проектирования и минимизации. Нормальные формы логических функций. Общие сведения о минимизации логических функций. Расчётный метод минимизации. Расчётно-табличный метод минимизации. Возможности программы Electronics Workbench.

Аксиома — утверждение, принимаемое без доказательства. Аксиомы принадлежности точек и прямых. Теоремы - утверждения геометрии, которые доказываются на основании аксиом и ранее доказанных утверждений. Аксиомы расположения точек на прямой и плоскости.

Отношения между простыми суждениями по "логическому квадрату": отношения противоречия, подчинения, противоположности и подпротивоположности. Распределенность терминов в простых суждениях. Дедуктивные и индуктивные умозаключения, основные законы логики.

Рассмотрение понятия "логика" как науки о формах и законах мышления. Значение трудов выдающегося древнегреческого мыслителя Аристотеля. Характеристика аналогии, дедуктивных и индуктивных умозаключений. Изучение методов полной и неполной индукции.

Аль-Кинди как родоначальник арабоязычного перипатетизма. Исследование и трактование философского наследия Аристотеля. Простые и сложные атрибуты субстанций. Приоритет онтологического содержания философии. Диалектическая логика философии Аль-Кинди.