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

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…

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Спустя почти век после своего второго издания увлекательнейшая книга немецкого ученого начала XX столетия Германа Шуберта вновь выходит в свет. Посвященная нестареющей математике, она будет равно…

В этой книге собраны интересные истории, занимательные математические головоломки, увлекательные задачи и изящные парадоксы, которые помогут вам с пользой провести свой досуг, развить логику, вни…

Логика – это наука о формах и законах правильного мышления. Что такое правильное мышление, и какое мышление можно назвать правильным? Что такое формы мышления, и какими они бывают? Что такое зако…