Шевченко В.Е. Некоторые способы решения логических задач

формат djvu
размер 1.35 МБ
добавлен 21 декабря 2011 г.

Киев: Вища школа, 1979. - 80 с.

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

Смотрите также

Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам

формат djvu
размер 5.4 МБ
добавлен 16 марта 2009 г.

Москва: Наука, 1976. - 328 с. СОДЕРЖАНИЕ. Предисловие редакторов. Кановей В. Г. Определимость с помощью степеней конструктивности. Введение. Нормальные множества. А. Основные определения. Б. К-исчисление. В. х-нормальные множества. Г. Исследование непрерывных функций. Д. Несчетный случай. Определимость в ZF. А. Связь структуры Q с вынуждением. Б. Введение в кодировку. В. Построение проективного полного упорядочения. Г. Кодировка с помощью введен...

Задачи по математической логике (+примеры решения и комментарии)

Контрольная работа

формат rtf
размер 5.68 МБ
добавлен 27 апреля 2011 г.

Задачи по математической логике (+примеры решения и комментарии). Содержание: Элементы алгебры высказываний. Логические операции над высказываниями. Равносильные формулы алгебры высказываний. Нормальные формы. Логические следствия. Решение задач с помощью алгебры высказываний. Исследование рассуждений. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез реле...

Задачи по математической логике (+примеры решения)

Контрольная работа

формат rtf
размер 3.34 МБ
добавлен 27 апреля 2011 г.

Задачи по математической логике. Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.rn

Курсовая работа - Основные динамические свойства и их классификация

Курсовая работа

формат docx
размер 147.26 КБ
добавлен 04 апреля 2011 г.

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

Программа - Минимизатор выражений логических функций

program

формат exe
размер 222 КБ
добавлен 09 июня 2007 г.

Минимизатор выражений логических функций с учётом неопределённых состояний, необходима некоторым специальностям (АТП, МХ) для курсовых работ по предмету компьютерные системы управления.rn

Рвачев В.Л. Геометрические приложения алгебры логики

формат djvu
размер 4.06 МБ
добавлен 05 июня 2011 г.

Киев: Техника, 1967. - 213 с. В книге изложены методы аналитического описания геометрических объектов сложной структуры, которые могут быть применены для решения многих задач математической физики, механики, математического программирования, оптимального раскроя, машинного распознавания геометрических образов и др. Описывается аппарат Л-функций, используя' который можно составлять уравнения сложных чертежей и пространственных объектов, а также...

Реферат - Логические уравнения

Реферат

формат doc
размер 46 КБ
добавлен 22 ноября 2009 г.

Реферат: Решения дифференциальных логических уравнений, алгоритм «Селигер», Алгоритм «ТВАТ», Литература.

Усенко В.В. Логические системы управления

формат djvu
размер 803.04 КБ
добавлен 20 марта 2010 г.

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

Шапиро С.И. Решение логических и игровых задач (логико-психологические этюды)

формат djvu
размер 4.82 МБ
добавлен 18 июля 2011 г.

Москва: Радио и связь, 1984. - 155 с. Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники.

Эрдниев О.П. От задачи к задаче - по аналогии. Развитие математического мышления

формат djvu
размер 3.47 МБ
добавлен 25 января 2011 г.

Издательство АО «СТОЛЕТИЕ», 1998 г. , 280 с. Обычно обучение математике ограничивается решением пусть разнообразных, но готовых, придуманных авторами учебников задач. Однако гораздо увлекательнее и продуктивнее, осознав процесс математического творчества, научиться создавать собственные задачи и теоремы и находить способы их решения. Этому важному творческому умению и посвящена книга. Авторы, опираясь на свой практический опыт обучения, подробно...