+7(495) 980-12-16
  10:00-18:00 пн-пт
  book@logobook.ru
   
    Поиск книг    
Найти
  Зарубежные издательстваРоссийские издательства  
   Авторы | Каталог книг | Издательства | Новинки | Детские | Модели | Поступления | Cертификаты | Хиты | | |
 

Основы математической логики Супрун В.П. 9785971041139


Варианты приобретения
Цена: 751р.

Кол-во:
Наличие: Невозможна поставка.

Если книги нет на складе, цена может быть изменена. Большинство цен, на книги правильные.
Но издательства изменяют цены на книги и не всегда есть возможность оперативно отслеживать эти изменения.
Если цена заказываемой книги изменится, об этом обязательно будет сообщено менеджером после оформления заказа.


Добавить в корзину
в Мои желания

Автор: Супрун В.П.
Название: Основы математической логики
Издательство: ЛЕНАНД (Урсс)
Классификация:
ISBN: 5971041134
ISBN-13(EAN): 9785971041139
Обложка: тв
Страницы: 200
Вес: 0.3 кг.
Дата издания: 2017
Рейтинг:
Описание: Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами. В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.
Дополнительное описание:

Автор: Игошин В.И.
Название: Элементы математической логики (4-е изд.) учебник
ISBN: 5446883799 ISBN-13(EAN): 9785446883790
Издательство: Академия
Рейтинг:
Цена: 1743.00 р.
Наличие на складе: Отгружается в течение 7-7 дней

 
 

Автор: Колмогоров А.Н., Драгалин А.Г.
Название: Математическая логика: Дополнительные главы
ISBN: 5354016452 ISBN-13(EAN): 9785354016457
Издательство: УРСС
Рейтинг:
Цена: 1348.00 р.
Наличие на складе: Отгружается в течение 14-14 дней
Описание: Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова.Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

 
 
МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для СПО

Автор: Скорубский В. И., Поляков В. И., Зыков А. Г.
Название: МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для СПО
ISBN: 5534116315 ISBN-13(EAN): 9785534116311
Издательство: Юрайт
Рейтинг:
Цена: 1239.00 р.
Наличие на складе: Отгружается в течение 5-7 дней
Описание: В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности.Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям.Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).

 
 
Очерки по философии неовсеединства: Опыт математического прочтения философии: Аксиология. Логика. Феноменология

Автор: Моисеев В.И.
Название: Очерки по философии неовсеединства: Опыт математического прочтения философии: Аксиология. Логика. Феноменология
ISBN: 5971064428 ISBN-13(EAN): 9785971064428
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 1748.00 р.
Наличие на складе: Невозможна поставка.

 
 
Проблема логического обоснования дедуктивно-математического знания от Античности до XX века: Логико-математический и философский аспекты

Автор: Бирюков Б.В., Бирюкова Л.Г.
Название: Проблема логического обоснования дедуктивно-математического знания от Античности до XX века: Логико-математический и философский аспекты
ISBN: 5971065262 ISBN-13(EAN): 9785971065265
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 1183.00 р.
Наличие на складе: Невозможна поставка.
Описание: В книге освещаются вопросы логико-математического обоснования математики. Рассматриваются такие направления в логико-философских исследованиях, которые связаны с идеей бесконечности, теорией пределов, арифметизацией анализа, развитием аксиоматического метода, теорией множеств. Не обойден вниманием и вопрос о том, является ли логика основой математики. Обсуждаются проблемы, связанные со множественностью путей обоснования дедуктивного знания.

 
 

Автор: Бирюков Б.В., Бирюкова Л.Г.
Название: Проблема логического обоснования дедуктивно-математического знания от Античности до XX века: Логико-математический и философский аспекты
ISBN: 5971065254 ISBN-13(EAN): 9785971065258
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 739.00 р.
Наличие на складе: Невозможна поставка.

 
 
Трудные времена философии. Кн. 6: Логика и философия в первые послесталинские годы. Математическая логика: Ч.2: В мире логики --- математической и философской

Автор: Бирюков Б.В.
Название: Трудные времена философии. Кн. 6: Логика и философия в первые послесталинские годы. Математическая логика: Ч.2: В мире логики --- математической и философской
ISBN: 597106598X ISBN-13(EAN): 9785971065982
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 798.00 р.
Наличие на складе: Невозможна поставка.
Описание: В настоящей книге описываются события послесталинской эпохи, относящиеся к философии и логике, особенно математической логике. Читатель прочтет рассказ о спорах вокруг логики, о развитии историко-логических исследований. Внимание автора сосредоточено не только на логике, математической и философской, но и на тех ученых, кто сумел творчески работать в тяжелых условиях того времени. К материалам книги приведены дополнения: "Бернард Больцано. Философия математики. Вклад в создание математической логики" (Б.В. Бирюков, Л.Г. Бирюкова); "Сопричасность логосу: Диалектика марксизма в оценке Н.О. Лосского и споры о логике в интеллектуальном пространстве советской философии 50-60-х гг. XX века" (И.П. Прядко, Б.В. Бирюков).Рекомендуется философам, логикам, психологам, историкам науки, а также преподавателям, студентам и аспирантам вузов, изучающим советский период отечественной истории.

 
 
Трудные времена философии. Кн. 6: Логика и философия в первые послесталинские годы. Математическая логика: Ч.1: Переломный период --- при Сталине и после

Автор: Бирюков Б.В.
Название: Трудные времена философии. Кн. 6: Логика и философия в первые послесталинские годы. Математическая логика: Ч.1: Переломный период --- при Сталине и после
ISBN: 5971065971 ISBN-13(EAN): 9785971065975
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 798.00 р.
Наличие на складе: Невозможна поставка.
Описание: В книге описываются события послесталинской эпохи, относящиеся к философии и логике. Автор подводит итог сталинскому периоду нашей истории, как он отразился в философско-логической сфере. Книга начинается с обращения к фигуре И.В. Сталина: дается опыт его психологической характеристики, рассказывается о том, чем отмечены последние месяцы жизни вождя. Попутно вспоминаются и некоторые события предшествующих лет, характеризующие противоречивость конкретных событий сталинского времени. К материалам книги приведены дополнения: "П.Я. Чаадаев и вопросы социокультурного развития России: давний спор славян. Опыт дискурсивно-логического освещения проблемы" (И.П. Прядко, Б.В. Бирюков); "Logica adversus dialecticae: к спорам о статусе формальной и диалектической логики в отечественной науке второй половины XX века" (Б.В. Бирюков, И.П. Прядко). Рекомендуется философам, логикам, психологам, историкам науки, а также преподавателям, студентам и аспирантам вузов, изучающим советский период отечественной истории.

 
 
МАТЕМАТИКА: МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 5-е изд. Учебник и практикум для СПО

Автор: Судоплатов С. В., Овчинникова Е. В.
Название: МАТЕМАТИКА: МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 5-е изд. Учебник и практикум для СПО
ISBN: 5534109300 ISBN-13(EAN): 9785534109306
Издательство: Юрайт
Рейтинг:
Цена: 1446.00 р.
Наличие на складе: Отгружается в течение 5-7 дней
Описание: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.

 
 
История математики: Эволюция математических идей: Вычислительная математика. Теория вероятностей. Информатика. Математическая логика

Автор: Серовайский С.Я.
Название: История математики: Эволюция математических идей: Вычислительная математика. Теория вероятностей. Информатика. Математическая логика
ISBN: 5971058665 ISBN-13(EAN): 9785971058663
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 1312.00 р.
Наличие на складе: Невозможна поставка.
Описание: Книга посвящена Математике в ее историческом развитии. Каждый раздел книги связан с какой-либо математической областью — алгеброй, геометрией, теорией вероятностей и др. Разделы разбиты на лекции, в каждой из которых в популярной форме рассказывается об эволюции взглядов на то или иное математическое понятие (число, алгебраическое уравнение, предел, экстремум и т.д.) от его зарождения до наших дней. Издание состоит из трех книг. Третья книга посвящена истории развития вычислительной математики, теории вероятностей, информатики и математической логики. Книга предназначена для широкого круга читателей, в первую очередь для молодежи — студентов и старшеклассников, еще не погрузившихся окончательно в трясину житейских проблем и не растерявших живой интерес к окружающему миру. Однако автор надеется, что она будет интересна и специалистам — как математикам, так и не совсем математикам, а возможно, даже и совсем не математикам, но главное, людям интересующимся.

 
 
Вводный курс математической логики

Автор: Успенский В.А. и др.
Название: Вводный курс математической логики
ISBN: 5922102788 ISBN-13(EAN): 9785922102780
Издательство: Физматлит
Рейтинг:
Цена: 333.00 р.
Наличие на складе: Невозможна поставка.

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

Автор: Пруцков А.В., Волкова Л.Л.
Название: Математическая логика и теория алгоритмов.
ISBN: 590681874X ISBN-13(EAN): 9785906818744
Издательство: Курс
Рейтинг:
Цена: 935.00 р.
Наличие на складе: Невозможна поставка.

 
 
Сборник задач по математической логике и теории алгоритмов

Автор: Игошин В.И.
Название: Сборник задач по математической логике и теории алгоритмов
ISBN: 5906818081 ISBN-13(EAN): 9785906818089
Издательство: Курс
Рейтинг:
Цена: 2142.00 р.
Наличие на складе: Невозможна поставка.
Описание: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М, 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М, 2012. 318 с. (Высшее образование). Для студентов университетов, технических и педагогических вузов, обучающихся как на уровне бакалавриата, так и на уровне магистратуры по направлениям «Математика», «Информатика», «Прикладная математика и информатика», «Математика и компьютерные науки», «Бизнес-информатика», «Математик-педагог», «Учитель математики».

 
 
Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и доп.

Автор: Герасимов А.С.
Название: Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и доп.
ISBN: 5811416660 ISBN-13(EAN): 9785811416660
Издательство: Лань-Пресс
Рейтинг:
Цена: 1615.00 р.
Наличие на складе: Отгружается в течение 2-7 дней

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

Автор: Лихтарников Л.М., Сукачева Т.Г.
Название: Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд.
ISBN: 5811400829 ISBN-13(EAN): 9785811400829
Издательство: Лань-Пресс
Рейтинг:
Цена: 425.00 р.
Наличие на складе: Отгружается в течение 2-7 дней
Описание: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам.Учебное пособие предназначено для студентов университетов и педагогических ВУЗов, изучающих математическую логику.

 
 
Математическая логика. Дискретные функции. Теория алгоритмов. Учебное пособие, 1-е изд.

Автор: Глухов М.М., Шишков А.Б.
Название: Математическая логика. Дискретные функции. Теория алгоритмов. Учебное пособие, 1-е изд.
ISBN: 5811413440 ISBN-13(EAN): 9785811413447
Издательство: Лань-Пресс
Рейтинг:
Цена: 1304.00 р.
Наличие на складе: Отгружается в течение 2-7 дней
Описание: Учебное пособие содержит полное изложение материала учебных дисциплин "Математическая логика и теория алгоритмов" и "Дискретные функции" Государственного образовательного стандарта высшего профессионального образования по специальностям и направлениям "Компьютерная безопасность", "Информационная безопасность автоматизированных систем" и некоторым другим смежным специальностям.Пособие состоит из трех взаимосвязанных частей, представляющих основы математической логики, теории дискретных функций и теории алгоритмов.Предназначено для студентов вузов, обучающихся по специальностям и направлениям в области информационной безопасности, а также для аспирантов и студентов вузов других технических специальностей и направлений, изучающих дискретную математику.

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

Автор: Гуц А.К.
Название: Математическая логика и теория алгоритмов
ISBN: 5971026291 ISBN-13(EAN): 9785971026297
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 400.00 р.
Наличие на складе: Невозможна поставка.
Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича.

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

Автор: Зюзьков В.М., Шелупанов А.А.
Название: Математическая логика и теория алгоритмов. Учебное пособие для вузов.
ISBN: 5935173492 ISBN-13(EAN): 9785935173494
Издательство: Горячая линия - Телеком
Рейтинг:
Цена: 396.00 р.
Наличие на складе: Невозможна поставка.

 
 
МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для вузов

Автор: Скорубский В. И., Поляков В. И., Зыков А. Г.
Название: МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для вузов
ISBN: 5534011149 ISBN-13(EAN): 9785534011142
Издательство: Юрайт
Рейтинг:
Цена: 1239.00 р.
Наличие на складе: Отгружается в течение 5-7 дней

 
 
Математика для старшеклассников: Нестандартные методы решения задач. Уравнения. Неравенства. Нахождение экстремальных значений математических выражений

Автор: Супрун В.П.
Название: Математика для старшеклассников: Нестандартные методы решения задач. Уравнения. Неравенства. Нахождение экстремальных значений математических выражений
ISBN: 5971073362 ISBN-13(EAN): 9785971073369
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 774.00 р.
Наличие на складе: Невозможна поставка.

 
 


ООО "Фактор Книга" Тел:(495) 980-12-16, rus.logobook.ru
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете
    Мобильная версия