Математическая логика

Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам логики, примеры и задания для самостоятельного …

Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам логики, примеры и задания для самостоятельного …

Praise for the First Edition «. . . an enchanting book for those people in computer science or mathematics who are fascinated by the concept of infinity.»—Computing Reviews «. . . a very well wri…

This book is devoted to integration, one of the two main operations in calculus. In Part 1, the definition of the integral of a one-variable function is different (not essentially, but rather met…

Изложен краткий теоретический материал по разделам дискретной математики: множества, отношения, комбинаторика, математическая логика, графы. Приведены примеры и задачи с решениями. Даны задачи и …

Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на пр…

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории…

Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционирования и технология разработки экспертных сис…

На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов и до сих пор пользуется спросом (последнее переиздание на английском яз…

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

В книгу «Занимательная логика. Задачи и решения» вошли задания и рассказы, собранные из разных книг Якова Перельмана, увидевших свет в 10-е – 30-е годы ХХ века. Это легкие и веселые упражнения, к…

Догадки о теоретической физике, науке, истинах, как силе, по философским рассуждениям и логическим выводам

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software ap…

Книга призвана помочь читателю развить свои математические навыки, улучшить логическое мышление, освоить использование языка программирования Python для решения задач. Она подходит как для самос…

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по н…

Цель пособия по активизации математических способностей – закрепить у школьников навыки решения примеров на сложение и вычитание, умножение и деление и логических задач. Занятия имеют следующую с…

A new and unique way of understanding the translation of concepts and natural language into mathematical expressions Transforming a body of text into corresponding mathematical expressions and mo…

Книга опытного педагога и психолога Т. Трясоруковой поможет подружить с математикой ребёнка 5-7 лет. Он поймёт, что математика – это совсем не сложно и даже очень интересно! Калейдоскоп увлекател…

This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task …

Features a balance between theory, proofs, and examples and provides applications across diverse fields of study Ordinary Differential Equations presents a thorough discussion of first-order diff…