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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Г. Фреге

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

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

Б.А. Кулик

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

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

Шрейдер Ю.А.

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

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

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

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

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

М. И. Ивлева

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

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

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

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

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

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

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

Логика

Е. Т. Гайдар

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

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

Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд

Л.М. Лихтарников Т.Г. Сукачева

Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и...

Математическая логика и теория алгоритмов. Вычислимые функции

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

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

Математическая логика. Дополнительные главы

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

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...

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

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

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

С. В. Судоплатов

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

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

В. И. Игошин

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

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

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

Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник...

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

Г. И. Клюев

Учебное пособие для ВПО

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

В. Н. Крупский В. Е. Плиско

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика...

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

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

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

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

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