Упрощение логических выражений и конструирование цифровых схем на их основе

Булевы выражения как наиболее удобный метод описания принципа работы логической схемы. Общая характеристика основных инструментов для решения задач символической логики. Рассмотрение особенностей работы с картами Карно для упрощения булевых выражений.

Рубрика Философия
Предмет Логика
Вид контрольная работа
Язык русский
Прислал(а) incognito
Дата добавления 20.10.2013
Размер файла 1,6 M

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.

    реферат [26,9 K], добавлен 19.01.2009

  • История возникновения и дальнейшего развития логики как науки, а также анализ ее современного значения и содержания. Особенности становления и сравнительная характеристика символической (математической), индуктивной, диалектической и формальной логики.

    контрольная работа [33,4 K], добавлен 01.12.2010

  • Причины возникновения и этапы становления традиционной логики. Вклад Аристотеля, Ф. Бэкона, Дж. Милля, Р. Декарта, М. Каринского в развитие логического знания. История создания и основные концепции символической (математической) и диалектической логики.

    реферат [32,8 K], добавлен 05.01.2013

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

    контрольная работа [28,2 K], добавлен 05.07.2010

  • Предметное (денотат) и смысловое (концепт) значение выражений. Именные и пропозициональные функции, определение их местности. Изображение отношений между понятиями в кругах Эйлера. Корректность определения, соблюдение правил. Подбор понятий в отношениях.

    контрольная работа [456,7 K], добавлен 27.05.2014

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

    контрольная работа [90,7 K], добавлен 19.02.2011

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

    контрольная работа [18,1 K], добавлен 29.09.2010

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

    контрольная работа [23,0 K], добавлен 04.10.2010

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

    курсовая работа [46,7 K], добавлен 17.05.2010

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

    контрольная работа [146,5 K], добавлен 23.12.2014

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.