Гайштут А.Г. Математика в логических упражнениях

Л. : ЛГУ, 1973. -104 с. Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый "парадокс несуществования", а также дается критика некоторых современных буржуазных философских теорий смысла отрицания. Значительное мес...

М.: Мир, 1983. - 152 с. В книге известного чехословацкого математика предложен новый вариант нестандартного анализа - интенсивно развивающегося направления математики. Автор стремится непосредственно использовать специфику нестандартного универсума для формулировки новых математических понятий. В русское издание включен новый материал, полученный от автора. Для специалистов по математической логике, анализу, топологии, теории дифференциальных ура...

Учебное пособие предназначено для младших школьников и заботливых родителей, а также любящих свое дело педагогов и воспитателей. Задания книги помогут ребенку в развитии логического мышления, памяти, внимания, воображения, любознательности; научат его анализировать, сравнивать, обобщать, выделять главное. Их решения будут способствовать изучению учебного материала по многим предметам. Пособие можно использовать для самостоятельной работы в школе...

Учеб. пособие для студ. высш. учеб. заведений / И. А. Лавров; под ред. Л. Л. Максимовой. — М.: Издательский центр «Академия», 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). ISBN 5-7695-2735-8 В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиомат...

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

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

Учебное пособие.- Нижний Новгород: изд. ННГУ, 1994. – 118 с. В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Она предназначена для студентов, обучающихся по специальности прикладная математика и информатика в рамках университетского учебного плана, содержащего курс "Дискретная математика". Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.

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

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

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