Поиск по основным рубрикам каталога
Рубрика: Основания математики. Математическая логика
Вернуться к списку рубрик
Найдено изданий: 63
 |
Сухин И. Г., 800 логических и математических головоломок — 2022 (Интеллектуальные игры и головоломки)
Игорь Георгиевич Сухин - автор, известный прежде всего своими оригинальными сборниками литературных викторин, тестов, кроссвордов, а также методикой эффективного обучения игре в шахматы. В этой книге собраны необычные и забавные математические задачи и головоломки по малоразработанным темам. Среди них: числовая горизонталь, латинские квадраты, цифры в буквах, числа в предложениях, математические дорожки, арифметические головоломки без чисел и многие другие.
Подробная информация
|
 |
Басиладзе С.Г., От физики сигнала до информации в физике. реальные сигналы, состояния, данные, информация — 2021 (Классический учебник МГУ)
В книге последовательно и подробно рассматривается единая цепочка: от сигнала, который является носителем состояний, до информации, которая является носителем смыслового содержания. Обсуждается неполнота классической теории, которая недостаточно учитывает физические законы генерации и восприятия сигналов. Введено понятие реальных сигналов с определенным порогом восприятия и пределом существования. Рассмотрены физические основы этих ограничений, которые определяют минимально возможное время перехода сигнала между состояниями и максимальную скорость передачи информации в природе. Анализируются последствия интегрирования части или всего спектра реальных сигналов передающей средой или медленным приемником. Показано, что плавность переходов между состояниями и появление шума "по действию" приводят к появлению виртуальных состояний. Последнее, в свою очередь, требует введения "алгебраической" логики, более общей, чем булева логика. Принятый в книге стиль изложения ориентирован на широкий круг читателей: студентов, аспирантов и специалистов во всех областях, где необходимо получать информацию и обмениваться ею.
Подробная информация
|
 |
Матросов В. Л., Математическая логика. учебник для бакалавриата. рекомендовано УМО в качестве учебника для вузов — 2020
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
Подробная информация
|
 |
Кэрролл Л., История с узелками — 2020 (Математическая мозаика)
В "Истории с узелками" собраны математические головоломки и изящные логические парадоксы знаменитого английского писателя, автора "Алисы в Стране Чудес" и "Алисы в Зазеркалье" Льюиса Кэрролла. Книга рассчитана на читателей, интересующихся математикой и желающих с пользой провести свой досуг, а также может быть использована преподавателями математики и логики в школах и колледжах.
Подробная информация
|
 |
Кук М., Ловкость ума. 75 гениальных парадоксов в математике, физике и философии — 2020
Эта книга - настоящий путеводитель по парадоксам, начиная с древ]нейших (Ахиллес и черепаха) и заканчивая современными (кот Шрёдингера и парадокс Тьюринга). Как утверждают авторы, парадокс - это "магия в вашей голове". Что делать, если интуиция подсказывает одно, а логика диктует другое? Остроумные примеры, собранные под одной обложкой, - отличное средство тренировки внимательности, памяти и математических навыков. Некоторые из парадоксальных предположений ошибочны, другие можно подтвердить, но в любом случае для их проверки вам понадобятся терпение и смекалка. Издание адресовано всем, кого интересуют нестандартные математические задачи.
Подробная информация
|
 |
Смаллиан Р., Всё дело в логике — 2019
Книга Смаллиана «Всё дело в логике» объединяет под одной обложкой две части. В первой части содержатся логические и арифметические, старые и новые занимательные загадки, которые могут быть интересны читателю любого возраста. Центральные персонажи — дети и собаки. Для решения предлагаемых задач не требуется никаких специальных знаний и навыков, нужно только желание немного подумать.
Подробная информация
|
 |
Глухов М. М., Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. учебное пособие для студентов высших учебных заведений, обучающихся по специальностям в области 090100 - "Информационная безопасность" — 2017 (Учебники для вузов. Специальная литература)
Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин "Математическая логика и теория алгоритмов" и "Дискретные функции", изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов.
Подробная информация
|
 |
Виленкин Н. Я., Рассказы о множествах — 2017
В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики - теорию бесконечных множеств. Через несколько десятилетий почти вся математика была перестроена на теоретико-множественной основе. Понятия теории множеств отражают наиболее общие свойства математических объектов. Обычно теорию множеств излагают в учебниках для университетов. В настоящей книге в популярной форме описываются основные понятия и результаты теории множеств. Книга предназначена для учащихся старших классов средней школы, интересующихся математикой, а также для широких кругов читателей, желающих узнать, что такое теория множеств. Предыдущее издание книги вышло в 2013 году
Подробная информация
|
 |
Александров П.С., Введение в теорию множеств и общую топологию. учебное пособие — 2017 (Учебники для вузов. Специальная литература) (Лучшие классические учебники)
Книга является введением в современные разделы общей топологии. Первые три главы представляют собой изложение фактов теории множеств с так называемой "наивной" точки зрения. В главах 4-6 дается изложение основных топологических фактов, касающихся метрических и топологических пространств. Особое внимание при этом обращается на метризационные теоремы и понятия компактности (бикомпактности) и паракомпактности. Учебное пособие предназначено для студентов и аспирантов физико-математических факультетов университетов.
Подробная информация
|
 |
Хаусдорф Ф., Теория множеств — 2015 (Физико-математическое наследие. математика (основания математики и логика))
Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа, которая содержит очень полное и в то же время совершенно элементарное изложение теории множеств. Данная работа оказала влияние на все отрасли современной математики, опирающиеся на теорию множеств, что сделало ее классическим произведением математической литературы. Материал, посвященный топологической теории множеств, значительно переработан и дополнен выдающимися отечественными математиками, академиками П.С.Александровым и А.Н.Колмогоровым.Книга адресована математикам - исследователям и преподавателям, студентам и аспирантам, желающим ознакомиться с теорией множеств
Подробная информация
|
 |
Дасгупта С., Алгоритмы — 2014
В этой книге, предназначенной для студентов математических и программистских специальностей (начиная с младших курсов), подробно разбираются основные методы построения и анализа эффективных алгоритмов. Она основана на лекциях авторов в университетах Сан-Диего и Беркли. Выбор материала не вполне стандартный (скажем, о сортировке и структурах данных, связанных с хранением упорядоченных множеств в сбалансированных деревьях, не говорится, зато обсуждаются линейное программирование и даже квантовые вычисления). Авторы старались выделить основные идеи и излагать доказательства наглядно, не злоупотребляя формализмом, но и не жертвуя математической строгостью; оригинальный подход авторов делает книгу интересной не только студентам, но и опытным преподавателям. Каждый раздел снабжён упражнениями.
Подробная информация
|
 |
Успенский В. А., Простейшие примеры математических доказательств — 2012 (Библиотека "Математическое просвещение". вып. 34)
В брошюре доступным неспециалистам языком рассказывается о некоторых из основополагающих принципов, на которых строится наука математика: чем понятие математического доказательства отличается от понятия доказательства, принятого в других науках и в повседневной жизни, какие простейшие приемы доказательства используются в математике, как менялось со временем представление о "правильном" доказательстве, что такое аксиоматический метод, в чем разница между истинностью и доказуемостью. Для очень широкого круга читателей, начиная со школьников старших классов.
Подробная информация
|
 |
Абрамов С. А., Лекции о сложности алгоритмов. учебное пособие для студентов высших учебных заведений, обучающихся по специальности и направлению "Прикладная математика и информатика" и по направлению "Информационные технологии" — 2009 (Современные лекционные курсы)
В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху, нижняя граница сложности алгоритмов некоторого класса, оптимальный алгоритм и т.д., рассматривается не только в обычном функциональном, но и в асимптотическом смысле: асимптотические оценки, асимптотическая нижняя граница, оптимальность по порядку сложности и т. д. Показывается, что при исследовании существования алгоритма решения задачи, имеющего "не очень высокую" сложность, важную роль может играть сводимость одной задачи к другой. Изложение сопровождается анализом сложности большого числа алгоритмов арифметики, сортировки и поиска, вычислительной геометрии, теории графов и др. Для студентов, специализирующихся в области математики и информатики.
Подробная информация
|
![Босс В., Лекции по математике. Т. 12: Контрпримеры и парадоксы. учебное пособие. [краткое и ясное изложение предмета] — 2009](/searchcat/covers/RGUB-BIBL-0000882873.jpg) |
Босс В., Лекции по математике. Т. 12: Контрпримеры и парадоксы. учебное пособие. [краткое и ясное изложение предмета] — 2009
Рассматриваются контрпримеры и парадоксы, рассеянные по другим томам и территориям. В отличие от специализированных источников подобного сорта здесь проблематика охватывается шире - фактически во всем диапазоне университетского математического образования. Отбор материала производится в основном по критерию идеологической значимости. Главное внимание уделяется осмыслению результатов. Изложение отличается краткостью и прозрачностью. Для студентов, преподавателей, инженеров и научных работников.
Подробная информация
|
![Ященко И. В., Парадоксы теории множеств. [лекции] — 2009 (Библиотека](/searchcat/covers/RGUB-BIBL-0000882579.jpg) |
Ященко И. В., Парадоксы теории множеств. [лекции] — 2009 (Библиотека "Математическое просвещение". вып. 20)
Текст брошюры представляет собой обработанные записи лекций, прочитанных автором 8 апреля 2000 года на Малом мехмате для школьников 9—11 классов (запись Е.Н. Осьмовой) и в июле 2001 года в рамках летней школы "Современная математика" для школьников 10—11 классов и студентов 1—2 курса (запись Ю.Л. Притыкина). В приложении 3 приведены задачи, самостоятельное решение которых поможет читателю более полно разобраться в материале брошюры. Для широкого круга читателей, интересующихся математикой: школьников старших классов, студентов младших курсов, учителей. Первое издание книги вышло в 2002 году.
Подробная информация
|
 |
Верещагин Н. К., . Лекции по математической логике и теории алгоритмов Ч. 3:Вычислимые функции — 2008 (Математическая логика и теория алгоритмов. Современные лекционные курсы)
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает около 200 задач различной трудности.
Подробная информация
|
 |
Верещагин Н. К., . Лекции по математической логике и теории алгоритмов Ч. 2:Языки и исчисления — 2008
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает около 200 задач различной трудности.
Подробная информация
|
 |
Верещагин Н. К., . Лекции по математической логике и теории алгоритмов Ч. 1:Начала теории множеств — 2008 (Математическая логика и теория алгоритмов. Современные лекционные курсы)
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов - математиков и всех интересующихся основами теории множеств. Книга включает в себя около сотни задач различной трудности.
Подробная информация
|
 |
Шень А. Х., Математическая индукция — 2004
В брошюре рассказывается (для школьников 7-11 классов) о методе математической индукции на примере 29 задач, из которых 19 снабжены подробными решениями.
Подробная информация
|
 |
Судоплатов С.В., Математическая логика и теория алгоритмов. учебник для технических вузов — 2004 (Высшее образование)
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
Подробная информация
|
|
|
![Босс В., Лекции по математике. Т. 12: Контрпримеры и парадоксы. учебное пособие. [краткое и ясное изложение предмета] — 2009](/searchcat/covers/RGUB-BIBL-0000882873-large.jpg)
![Ященко И. В., Парадоксы теории множеств. [лекции] — 2009 (Библиотека](/searchcat/covers/RGUB-BIBL-0000882579-large.jpg)
