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

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

Деление понятия "прямая". Противопоставление предикату, восстановление энтимемы и проверка ее правильности. Определение вида заданного умозаключения. Пример метода сопутствующих изменений. Проверка правильности произведения деления данного понятия.

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

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

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

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

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

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

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

Объединенная классификация суждений, их анализ и практическое применение круговых схем Эйлера. Установление вида сложного суждения, оценка его составных частей и составление его логической схемы. Определение формально-логического закона и его нарушений.

Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).

Устройства, предназначенные для обработки информации в цифровой форме. Двоичные логические операции с цифровыми сигналами (битовые операции). Закон де-Моргана. Инвертор как один из основных логических элементов. Мнемоническое правило эквивалентности.

Изучение представления о булевой алгебре. Сравнительная оценка базовых логических элементов. Устройство и принцип работы резисторно–емкостной транзисторной и транзисторно–транзисторной логики с диодами Шоттки. Примеры и характеристики серии микросхем.

Принципы построения, действия и проектирования средств автоматизации математических вычислений и обработки информации. Моделирование работы принципиальной цифровой схемы "Тринадцатиразрядный логический регистр со сдвигом влево на базе D-триггера".

Изучение структуры и алгоритмов работы асинхронных и синхронных триггеров. Суммирующие и вычитающие счетчики. Изменение коэффициента пересчета счетчиков. Временные диаграммы работы суммирующего счетчика. Логические сигналы на прямом и инверсном выходах.

Микроэлектронные технологии производства больших интегральных микросхем и их логические элементы. Нагрузочные, динамические параметры, помехоустойчивость переходов микросхем с одноступенчатой логикой и их схемотехническая реализация на транзисторах.

Комплементарные МДП-схемы интегральных микросхем и построение их логических элементов: динамическая мощность и составляющие элементов с вентильным и блокирующим КМДП-транзисторами. Упаковка транзисторов в кристаллах микропроцессорных технологий.

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

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

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

Логистический характер инновационного процесса. Логистическая S-образная кривая развития организаций и их элементов. Технологические разрывы. Циклический характер инновационных процессов. Цикличность и закономерность развития инновационного процесса.

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

Разработка функциональных частей единого цифрового устройства: логического устройства; счетчика, одновибратора, синхронизирующего поступление информации на счетчик; дешифратора для представления результата работы устройства в доступной для человека форме.

Языки логического (Пролог) и функционального (ЛИСП и РЕФАЛ) программирования. Задачи прямого и обратного вывода. Алгоритм CLS для построения деревьев. Математические основы индуктивного и дедуктивного вывода, алгебра высказываний, исчисление предикатов.

Знакомство с основами логического программирования на примере языка Prolog. Синтаксис его основных команд. Генеалогическое дерево с использованием предикатов. Хорновская логическая программа. Основные синтаксические объекты: атомы, константы и переменные.

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

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

Теоретическое обоснование проблемы интерпретации результатов социологических исследований. Определение и виды социологических исследований, процедура анализа их результатов. Практическое применение интерпретации данных социологических исследований.

Элементы полной структуры простого суждения. Виды простых суждений по характеру предиката. Объединенная классификация атрибутивных суждений по качеству и количеству. Отношения между понятиями, определение правильность определения и деления понятия.