Поиск по основным рубрикам каталога
Рубрика: Основания математики. Математическая логика
Вернуться к списку рубрик
Найдено изданий: 64
 |
Мендельсон Э., Введение в математическую логику — 1984
В книге Э.Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С.К. Клинин "Введение в математику", которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С.К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логике. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.
Подробная информация
|
 |
Виленкин Н. Я., Рассказы о множествах — 2004
В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики — теорию бесконечных множеств. Через несколько десятилетий почти вся математика была перестроена на теоретико-множественной основе. Понятия теории множеств отражают наиболее общие свойства математических объектов. Обычно теорию множеств излагают в учебниках для университетов. В настоящей книге в популярной форме описываются основные понятия и результаты теории множеств. Книга предназначена для учащихся старших классов средней школы, интересующихся математикой, а также для широких кругов читателей, желающих узнать, что такое теория множеств
Подробная информация
|
 |
Никольская И. Л., Знакомство с математической логикой — 1998 (Библиотека педагога-практика)
Книга предназначена для учащихся техникумов по специальности «Прикладная математика» и содержит теоретический материал, соответствующий программе курса «Математическая логика», а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Предназначается для учащихся средних специальных учебных заведений.
Подробная информация
|
 |
Судоплатов С.В., Математическая логика и теория алгоритмов. учебник для технических вузов — 2004 (Высшее образование)
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
Подробная информация
|
 |
Бирюков С. И., Оптимизация.. Элементы теории. Численные методы. Учеб. пособие — 2003
Книга состоит из двух частей. Первая часть "Элементы теории" - это методика "производства теорем" о необходимых или достаточных условиях оптимума. Вторая часть "Численные методы" знакомит с основными классическими идеями и итерационными схемами численной оптимизации, а также со способами доказательства сходимости методов и получения оценок скоростей сходимости.
Подробная информация
|
 |
Логика и комбинаторика — 2002 (Приложение к журналу "Квант". —5/2002)
Книга представляет собой сборник статей по логике и комбинаторике, публиковавшихся в различные годы в журнале "Квант". Статьи охватывают широкий круг вопросов - от классических логических задач до задач, связанных с теорией графов, линейным программированием, экономикой и даже политикой.
Подробная информация
|
 |
Фалевич Б. Я., Теория алгоритмов. Учеб. пособие для вузов — 2004 (Для вузов)
В пособии освещены вопросы: алгоритмы и массовые проблемы, их вычислительная сложность, сводимость массовых проблем, формализация понятия алгоритма в терминах машины Тьюринга, нормальных алгоритмов и рекурсивных функций, алгоритмическая теория множеств, релятивизация понятия алгоритма и сложность решения комбинаторных массовых проблем (класс P и NP). Пособие содержит главу курса лекций по дисциплине "Математическая логика и теория алгоритмов". Для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника". Допущено Министерством образования Российской Федерации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника"
Подробная информация
|
![Гладкий А. В., Математическая логика. [учеб. пособие для вузов] — 1998](/searchcat/covers/BOOK-29355.jpg) |
Гладкий А. В., Математическая логика. [учеб. пособие для вузов] — 1998
Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой, Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Гёделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. Книга содержит много задач и упражнений. Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта
Подробная информация
|
 |
Колмогоров А. Н., Математическая логика. Учеб. пособие для вузов — 2004 (Классический университетский учебник)
В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики
Подробная информация
|
 |
Лавров И. А., Задачи по теории множеств, математической логике и теории алгоритмов — 2002
В книге в форме задан систематически изложены основы теории множеств. Математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств». «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Вce необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использовал как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов. логиков и кибернетиков
Подробная информация
|
 |
Лавров И. А., Задачи по теории множеств, математической логике и теории алгоритмов — 2004
В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических ВУЗах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков.
Подробная информация
|
 |
Бизам Д., Многоцветная логика. 175 логических задач — 1978
Новая книга уже известных советскому читателю венгерских математиков Д.Бизама и Я.Герцега продолжает серию книг по занимательной математике.Как и предыдущая книга этих авторов "Игра и логика" (М., "Мир", 1975), она посвящена началам математической логики и содержит 175 догических задач.пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить
Подробная информация
|
 |
Шапорев С. Д., Математическая логика. курс лекций и практ. занятий. учеб. пособие для вузов — 2005 (Учебное пособие)
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал
Подробная информация
|
 |
Костюкова Н. И., Графы и их применение. Комбинаторные алгоритмы для программистов. учебное пособие — 2007 (Основы информационных технологий)
Содержание учебника разделяется на две части. Первая часть посвящена изучению теории графов. Она включает в себя такие темы, как связность, деревья, эйлеровы и гамильтоновы цепи ициклы, бесконечные графы, планарные графы и раскрашивание графов. Содержание второй части учебника посвящено комбинаторным методам вычисления. Рассматриваются классы алгоритмов, их анализ
Подробная информация
|
 |
Смаллиан Р. М., Как же называется эта книга?. сборник задач по логике — 2007 (Научные развлечения)
Это самый увлекательный сборник задач по логике. Для широкого круга читателей.
Подробная информация
|
![Колесин И. Д., Математические модели субкультур. [учебное пособие] — 2007](/searchcat/covers/RGUB-BIBL-0000071277.jpg) |
Колесин И. Д., Математические модели субкультур. [учебное пособие] — 2007
В книге излагаются принципы формализации социокультурных явлений и приводятся простейшие математические модели молодежных, этнических и профессиональных субкультур.
Подробная информация
|
 |
Кэррол Л., История с узелками — 1973
В книге впервые на русском языке собраны математические головоломки и изящные логические парадоксы знаменитого автора "Алисы в Стране Чудес"
Подробная информация
|
 |
Кэрролл Л., Логическая игра — 1991 (Библиотечка "Квант". Вып. 73)
Сборник логических задач автора известных сказок "Алиса в Стране Чудес" и "Сквозь зеркало и что там увидела Алиса" Льюиса Кэрролла в яркой и занимательной игровой форме знакомит читателя с оригинальным графическим методом решения силлогизмов и соритов. В приложение включены некоторые игры, фокусы и головоломки Льюиса Кэрролла и его письма к детям. Для школьников 8-10-х классов и всех любителей занимательных задач
Подробная информация
|
![Лихтарников Л. М., Математическая логика. Курс лекций. Задачник-практикум и решения. [Учеб. пособие для вузов] — 1998](/searchcat/covers/RGUB-BIBL-0000181170.jpg) |
Лихтарников Л. М., Математическая логика. Курс лекций. Задачник-практикум и решения. [Учеб. пособие для вузов] — 1998
Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов вузов, изучающих математическую логику.
Подробная информация
|
 |
Гринченков Д. В., Математическая логика и теория алгоритмов для программистов. учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" — 2010
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Подробная информация
|
|
|
![Гладкий А. В., Математическая логика. [учеб. пособие для вузов] — 1998](/searchcat/covers/BOOK-29355-large.jpg)
![Колесин И. Д., Математические модели субкультур. [учебное пособие] — 2007](/searchcat/covers/RGUB-BIBL-0000071277-large.jpg)
![Лихтарников Л. М., Математическая логика. Курс лекций. Задачник-практикум и решения. [Учеб. пособие для вузов] — 1998](/searchcat/covers/RGUB-BIBL-0000181170-large.jpg)
