Математическая логика
182
Показать
Все
Только в продаже
Новинки за неделю
Новинки за месяц
Новинки с последнего посещения
Сортировать
торговому рейтингу: лучшие сверху
оценке посетителей: лучшие сверху
цене: дешевые сверху
цене: дорогие сверху
дате выхода: новинки сверху
наличию: доступные cверху
названию: от "а" до "я"
названию: от "я" до "а"
автору (а-я)
автору (я-а)
Лекции по математической логике и теории алгоритмов. Часть 3....
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-4439-0014-8
Лекции по математической логике и теории алгоритмов. Часть 2. Языки...
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и...
ISBN: 978-5-4439-0944-8
Логика [Уч.пос.] 2из. карман
В учебном пособии в краткой и доступной форме рассмотрены все основные вопросы, предусмотренные государственным образовательным стандартом и учебной программой по дисциплине "Логика". Книга позволит быстро получить основные знания по предмету, а также качественно подготовиться к зачету и экзамену. Рекомендуется студентам юридических и психологических вузов и факультетов.
ISBN: 978-5-369-00923-9
Логика. 3-е издание
Учебное пособие включает в себя все темы, предусмотренные Государственным стандартом по курсу "Логика" . Содержание курса изложено доступно и последовательно, структура пособия позволяет осваивать учебный материал наиболее удобным для запоминания и понимания способом. В книге рассматриваются основные понятия, идеи и методы "логики" как науки, изучающей законы человеческого мышления, исследуя как общие...
ISBN: 978-5-94416-062-1
Логика. 10-11 классы.Уч.пос.-3-е изд
Раскрываются основные положения одной из увлекательных философских наук - логики. "Понятие", "суждение", "умозаключение", "гипотеза", "софизм", "парадокс", "доказательство" - это не только научные термины, но и реалии нашего мышления и общения, с которыми каждый сталкивается ежечасно. Как научиться грамотно выстраивать систему доказательств и умозаключений? Как одолеть соперника в споре и убедить участников...
ISBN: 978-5-406-02019-7
Логика: учебник. 7-е изд., испр
Учебник включает все основные разделы курса классической логики, определяемые требованиями Государственного образовательного стандарта для студентов вузов. Теоретический материал снабжен упражнениями и логическими задачами для закрепления знаний и формирования навыков их применения. Для студентов экономических, юридических и технических ВУЗов и факультетов, а также для аспирантов, преподавателей...
ISBN: 978-5-394-01624-0
Логика и логическая семантика
Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге, труды которого по своему значению сопоставимы с логическим наследием Аристотеля и Лейбница. Настоящая книга включает знаменитый труд Г.Фреге "Исчисление понятий" и другие его работы, положившие начало...
ISBN: 978-5-397-02982-7
Логика и математика. Просто о сложных методах логического анализа
В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения. В качестве теоретической основы используются предложенные автором математические системы — E-структуры и алгебра кортежей, позволяющие моделировать различные типы рассуждений и...
ISBN: 9785732511666
Логика знаковых систем. Элементы семиотики
Книга известного отечественного математика и философа Ю.А.Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической логике. Сначала в работе излагаются общесемиотические понятия, которые иллюстрируются на общедоступных примерах из русского языка, языка элементарной алгебры и т.п. Затем вводятся...
ISBN: 978-5-354-01336-4
Логика
ISBN: 978-5-392-02007-2
Математическая логика. Курс лекций и практических занятий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено...
ISBN: 5-94157-702-8
Математическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая...
ISBN: 978-5-9710-2629-7
Математическая логика. Введение в математическую логику
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-354-01449-1
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 5-е изд. Учебник и...
Судоплатов С. В., Овчинникова Е. В.
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 9785534146585
Математическая индукция
Издание для школьников 7-11 классов.
ISBN: 5-94057-138-7
Математическая логика: Введение в математическую логику
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В. Ломоносова, и содержит...
ISBN: 978-5-9710-3843-6
Математическая логика. Введение в математическую логику. Учебное...
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В.Ломоносова, и содержит...
ISBN: 978-5-9710-1502-4
Математическая логика. Дополнительные главы
Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова....
ISBN: 978-5-354-01585-6
Математическая логика и теория алгоритмов. Учебник и практикум
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...
ISBN: 978-5-9916-8277-0
Математическая логика. Введение в математическую логику. Учебное...
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит...
ISBN: 978-5-9710-2572-6
Математическая логика и теория алгоритмов.Учебное пособие для ВУЗов
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана...
ISBN: 9785915220019
Показать еще
![Логика [Уч.пос.] 2из. карман](https://files.books.ru/pic/891001-892000/891708/000891708.jpg)
