В монографии, на основе введенного понятия условного терма, изучается строение условных многообразий (универсальных классов универсальных алгебр, в том числе и отдельных конечных алгебр). Описываемое отношение условной рациональной эквивалентности условных многообразий позволяет решить целый ряд чисто алгебраических задач, а также построить теорию программно вычислимых функций на универсальных...
ISBN: 5-7782-0392-6
Издательство:
Издательство НГТУ
Дата выхода: январь 2003
Вниманию читателей предлагается знаменитый учебник логики, написанный выдающимся русским философом, логиком и психологом Г.И. Челпановым (1862-1936). Он был отмечен премией Петра Великого и только до революции выдержал девять изданий (материал данной книги соответствует последнему дореволюционному изданию), а также выходил в сокращенном виде в 1946 г., когда было принято решение о введении логики и психологии...
ISBN: 978-5-397-01976-7
Издательство:
Либроком
Дата выхода: декабрь 2011
Фрактальная геометрия оперирует парадоксальными геометрическими предметами результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать что фрактальная логика оперирует парадоксальными логическими объектами, число логических значений которых также стремится к бесконечности. Фрактальная логика...
ISBN: 978-5-397-00079-6
Издательство:
Либроком
Дата выхода: январь 2009
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать, что фрактальная логика оперирует парадоксальными логическими объектами, число логических значений которых также стремится к бесконечности. Фрактальная логика превращает...
ISBN: 978-5-397-06055-4
Издательство:
Либроком
Дата выхода: июнь 2017
Настоящее издание поможет систематизировать полученные ранее знания, а также подготовиться к экзамену или зачету и успешно их сдать. Пособие предназначено для студентов высших и средних образовательных учреждений.
ISBN: 978-5-9745-0601-7
Издательство:
Окей-книга
Дата выхода: декабрь 2008
Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН.02 «Элементы математической логики». В учебнике представлены с двух точек зрения — содержательной (семантической) и формальной (синтаксической) — два основных раздела...
ISBN: 978-5-4468-2579-0
Издательство:
Academia
Дата выхода: август 2016
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и...
ISBN: 978-5-4439-0013-1
Издательство:
МЦНМО
Дата выхода: январь 2012
