Математическая логика
183
Показать
Все
Только в продаже
Новинки за неделю
Новинки за месяц
Новинки с последнего посещения
Сортировать
торговому рейтингу: лучшие сверху
оценке посетителей: лучшие сверху
цене: дешевые сверху
цене: дорогие сверху
дате выхода: новинки сверху
наличию: доступные cверху
названию: от "а" до "я"
названию: от "я" до "а"
автору (а-я)
автору (я-а)
Лекции по математической логике и теории алгоритмов. Часть 2. Языки...
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и...
ISBN: 978-5-4439-0944-8
Логика
ISBN: 978-5-392-02007-2
Логика [Уч.пос.] 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
Логика и математика. Просто о сложных методах логического анализа
В книге в доступной форме представлено многообразие методов логического анализа: дедуктивные рассуждения, формирование и проверка корректности гипотез, логический анализ в условиях ограничений, абдуктивные заключения. В качестве теоретической основы используются предложенные автором математические системы — E-структуры и алгебра кортежей, позволяющие моделировать различные типы рассуждений и...
ISBN: 9785732511666
Логика знаковых систем. Элементы семиотики
Книга известного отечественного математика и философа Ю.А.Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической логике. Сначала в работе излагаются общесемиотические понятия, которые иллюстрируются на общедоступных примерах из русского языка, языка элементарной алгебры и т.п. Затем вводятся...
ISBN: 978-5-354-01336-4
Логика и логическая семантика
Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге, труды которого по своему значению сопоставимы с логическим наследием Аристотеля и Лейбница. Настоящая книга включает знаменитый труд Г.Фреге "Исчисление понятий" и другие его работы, положившие начало...
ISBN: 978-5-397-02982-7
Математическая логика
В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
ISBN: 5-7695-2735-8
Математическая логика: Учебное пособие. + CD
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях...
ISBN: 978-5-16-005204-5
Математическая логика: курс лекций и практических занятий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено...
ISBN: 978-5-94157-702-6
Математическая логика
Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно усовершенствованный, расширенный и...
ISBN: 5-354-01011-X
Математическая логика. Учебник и практикум
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-9916-7711-0
Математическая логика. Дополнительные главы. Учебное пособие
Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико- математическом факультете МГУ им. М.В.Ломоносова....
ISBN: 978-5-354-01492-7
Математическая логика. Курс лекций. Задачник-практикум и решения:...
Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упр-я по перечисленным разделам. Уч.пособие предназнач.для студентов университетов и педагогических вузов, изучающих математическую логику.
ISBN: 5-8114-0082-9
Математическая логика и теория алгоритмов. Вычислимые функции
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-94057-323-4
Показать еще
![Логика [Уч.пос.] 2из. карман](https://files.books.ru/pic/891001-892000/891708/000891708.jpg)
