Основы математической логики Супрун В.П. 9785971041139
Автор: Игошин В.И. Название: Элементы математической логики (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 дней Описание: В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности.Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям.Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).
Автор: Бирюков Б.В., Бирюкова Л.Г. Название: Проблема логического обоснования дедуктивно-математического знания от Античности до XX века: Логико-математический и философский аспекты ISBN: 5971065262 ISBN-13(EAN): 9785971065265 Издательство: ЛЕНАНД (Урсс) Рейтинг: Цена: 1183.00 р. Наличие на складе: Невозможна поставка. Описание: В книге освещаются вопросы логико-математического обоснования математики. Рассматриваются такие направления в логико-философских исследованиях, которые связаны с идеей бесконечности, теорией пределов, арифметизацией анализа, развитием аксиоматического метода, теорией множеств. Не обойден вниманием и вопрос о том, является ли логика основой математики. Обсуждаются проблемы, связанные со множественностью путей обоснования дедуктивного знания.
Автор: Бирюков Б.В. Название: Трудные времена философии. Кн. 6: Логика и философия в первые послесталинские годы. Математическая логика: Ч.2: В мире логики --- математической и философской ISBN: 597106598X ISBN-13(EAN): 9785971065982 Издательство: ЛЕНАНД (Урсс) Рейтинг: Цена: 798.00 р. Наличие на складе: Невозможна поставка. Описание: В настоящей книге описываются события послесталинской эпохи, относящиеся к философии и логике, особенно математической логике. Читатель прочтет рассказ о спорах вокруг логики, о развитии историко-логических исследований. Внимание автора сосредоточено не только на логике, математической и философской, но и на тех ученых, кто сумел творчески работать в тяжелых условиях того времени. К материалам книги приведены дополнения: "Бернард Больцано. Философия математики. Вклад в создание математической логики" (Б.В. Бирюков, Л.Г. Бирюкова); "Сопричасность логосу: Диалектика марксизма в оценке Н.О. Лосского и споры о логике в интеллектуальном пространстве советской философии 50-60-х гг. XX века" (И.П. Прядко, Б.В. Бирюков).Рекомендуется философам, логикам, психологам, историкам науки, а также преподавателям, студентам и аспирантам вузов, изучающим советский период отечественной истории.
Автор: Бирюков Б.В. Название: Трудные времена философии. Кн. 6: Логика и философия в первые послесталинские годы. Математическая логика: Ч.1: Переломный период --- при Сталине и после ISBN: 5971065971 ISBN-13(EAN): 9785971065975 Издательство: ЛЕНАНД (Урсс) Рейтинг: Цена: 798.00 р. Наличие на складе: Невозможна поставка. Описание: В книге описываются события послесталинской эпохи, относящиеся к философии и логике. Автор подводит итог сталинскому периоду нашей истории, как он отразился в философско-логической сфере. Книга начинается с обращения к фигуре И.В. Сталина: дается опыт его психологической характеристики, рассказывается о том, чем отмечены последние месяцы жизни вождя. Попутно вспоминаются и некоторые события предшествующих лет, характеризующие противоречивость конкретных событий сталинского времени. К материалам книги приведены дополнения: "П.Я. Чаадаев и вопросы социокультурного развития России: давний спор славян. Опыт дискурсивно-логического освещения проблемы" (И.П. Прядко, Б.В. Бирюков); "Logica adversus dialecticae: к спорам о статусе формальной и диалектической логики в отечественной науке второй половины XX века" (Б.В. Бирюков, И.П. Прядко). Рекомендуется философам, логикам, психологам, историкам науки, а также преподавателям, студентам и аспирантам вузов, изучающим советский период отечественной истории.
Автор: Судоплатов С. В., Овчинникова Е. В. Название: МАТЕМАТИКА: МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 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-е изд. ISBN: 5811400829 ISBN-13(EAN): 9785811400829 Издательство: Лань-Пресс Рейтинг: Цена: 425.00 р. Наличие на складе: Отгружается в течение 2-7 дней Описание: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам.Учебное пособие предназначено для студентов университетов и педагогических ВУЗов, изучающих математическую логику.
Автор: Глухов М.М., Шишков А.Б. Название: Математическая логика. Дискретные функции. Теория алгоритмов. Учебное пособие, 1-е изд. ISBN: 5811413440 ISBN-13(EAN): 9785811413447 Издательство: Лань-Пресс Рейтинг: Цена: 1304.00 р. Наличие на складе: Отгружается в течение 2-7 дней Описание: Учебное пособие содержит полное изложение материала учебных дисциплин "Математическая логика и теория алгоритмов" и "Дискретные функции" Государственного образовательного стандарта высшего профессионального образования по специальностям и направлениям "Компьютерная безопасность", "Информационная безопасность автоматизированных систем" и некоторым другим смежным специальностям.Пособие состоит из трех взаимосвязанных частей, представляющих основы математической логики, теории дискретных функций и теории алгоритмов.Предназначено для студентов вузов, обучающихся по специальностям и направлениям в области информационной безопасности, а также для аспирантов и студентов вузов других технических специальностей и направлений, изучающих дискретную математику.
Автор: Гуц А.К. Название: Математическая логика и теория алгоритмов ISBN: 5971026291 ISBN-13(EAN): 9785971026297 Издательство: ЛЕНАНД (Урсс) Рейтинг: Цена: 400.00 р. Наличие на складе: Невозможна поставка. Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича.
Автор: Скорубский В. И., Поляков В. И., Зыков А. Г. Название: МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для вузов ISBN: 5534011149 ISBN-13(EAN): 9785534011142 Издательство: Юрайт Рейтинг: Цена: 1239.00 р. Наличие на складе: Отгружается в течение 5-7 дней
