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

Избранные труды. Т.II: Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. Т.II

Алексей Марков

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

Интегрируемые системы классической механики и алгебры Ли

А. М. Переломов

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

Искусственный интеллект. Методология, применения, философия

Финн В.К.

В настоящей книге систематически рассматривается главный продукт искусственного интеллекта - интеллектуальные системы. Интеллектуальные системы, представленные в книге, реализуют оригинальный метод анализа данных и...

Курс лекций по дискретной математике. Часть 2. Математическая логика

Евгений Просолупов

Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчис­ление высказываний и исчисление предикатов. Книга предназначена для студентов первых...

Лекции по математической логике. Учебное пособие

Ф.Л. Варпаховский

Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

Николай Верещагин Александр Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость,...

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Николай Верещагин Александр Шень

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Н. К. Верещагин

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого...

Логика

Е. Т. Гайдар

Логика [Уч.пос.] 2из. карман

А. В. Верховцев

В учебном пособии в краткой и доступной форме рассмотрены все основные вопросы, предусмотренные государственным образовательным стандартом и учебной программой по дисциплине "Логика". Книга позволит быстро получить...

Логика. 10-11 классы.Уч.пос.-3-е изд

А. Д. Гетманова Михаил Панов Александр Никифоров

Раскрываются основные положения одной из увлекательных философских наук - логики. "Понятие", "суждение", "умозаключение", "гипотеза", "софизм", "парадокс", "доказательство" - это не только научные термины, но и реалии...

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

Г. Фреге

Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге, труды которого по...

Логика. 3-е издание

М. И. Ивлева

Учебное пособие включает в себя все темы, предусмотренные Государственным стандартом по курсу "Логика" . Содержание курса изложено доступно и последовательно, структура пособия позволяет осваивать учебный материал...

Логика и математика. Просто о сложных методах логического анализа

Б.А. Кулик

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

Логика знаковых систем. Элементы семиотики

Шрейдер Ю.А.

Книга известного отечественного математика и философа Ю.А. Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической...

Логика: учебник. 7-е изд., испр

Владислав Волгин

Учебник включает все основные разделы курса классической логики, определяемые требованиями Государственного образовательного стандарта для студентов вузов. Теоретический материал снабжен упражнениями и логическими...

Логика знаковых систем. Элементы семиотики

Павел Талалай

Книга известного отечественного математика и философа Ю.А.Шрейдера была задумана как беседа об основных понятиях семиотики - науки о знаковых системах, тесно примыкающей к математической лингвистике и математической...

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

Игорь Лавров

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

Математическая логика и теория алгоритмов для программистов. Учебное пособие

Д. В. Гринченков С. И. Потоцкий

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

Математическая логика. Учебник и практикум

Т. В. Погодина

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

Математическая индукция

Александр Шень

В брошюре рассказывается (для школьников 7–11 классов) о методе математической индукции на примере 46 задач, из которых 19 снабжены подробными решениями.

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

С.К. Клини

Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (Изд. 2. М.: УРСС, 2005), ставшего...

Математическая логика. 2-е издание

А.Г. Драгалин А. Н. Колмогоров

Математическая логика и теория алгоритмов для программистов.Уч.пос

Д. В. Гринченков С. И. Потоцкий

Математика и правдоподобные рассуждения. Два тома в одной книге. Том I. Индукция и аналогия в математике. Том II. Схемы правдоподобных умозаключений

Д. Пойа

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