Двумя популярными направлениями Artificial Intelligence являются теория нечетких множеств (fuzzy sets) и теория нейронных сетей (neиron nets). Данный курс является систематизированным вводным курсом в эти два направления.

Брошюра излагает основные понятия, относящиеся к учению о так называемых "алгебрах Буля", играющих большую роль в математической логике и весьма важных для всех направлений современной математики, связанных с электронными вычислительными машинами и кибернетикой. В брошюре дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривается алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств. Брошюра содержит достаточное число упражнений (сопровождаемых ответами, помещенными в конце брошюры), доставляющих читателю возможность контроля над усвоением материала и самопроверки. Брошюра может быть использована и работе школьного математического кружка; она будет с интересом прочитана не только школьниками средних (7-го, 8-го) классов, но и школьниками-старшеклассниками.

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

Книга посвящена важному комбинаторному и теоретико-числовому объекту — разбиению натуральных чисел. В ней с исчерпывающей полнотой представлены многие направления исследований, связанные с этим объектом.

В книге систематически излагаются такие фундаментальные понятия, как "множество", "кортеж", "соответствие", "функция", "отношение". Эти понятия, на базе которых и осуществляется, собственно говоря, все теоретико-множественное построение математики, с полным правом названы в книге "начальными понятиями математики". Наряду с ними в книге излагаются и элементы математического языка: разбираются понятия переменной, операции над высказываниями и т. д. книга Ю. А. Шихановича сможет быть полезной самым различным читателям - как нематематикам, заинтересованным в овладении языком начальных математических понятий (понятий столь универсальных, что на их базе могут описываться явления из различных областей науки и жизни), так и математикам, заинтересованным в уточнении собственного языка (хотя бы для того, чтобы нести свой уточненный язык нематематикам)

Издательство «Наука» в серии «Математическая логика и основания математики» представляет монографию Шенфилда «Степени неразрешимости», посвященную изложению результатов о тьюринговых степенях. Шенфилд постарался изложить традиционно сложную тему в максимально простой форме.

Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической 2000 логики, теории моделей и теории алгоритмов. Краткость книги достигнута многими авторскими находками в способе подачи материала. Многие важные результаты излагаются в упражнениях, которые составляют необходимую органическую часть книги.

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

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

Выход в свет английского издания настоящей книги приурочен к столетию возникновения комбинаторной теории групп. Начало этой теории обычно связывается с работой В. Дика 1882 г., в которой впервые были введены понятия порождающих и определяющих соотношений. Книга написана одним из создателей комбинаторной теории групп, известным американским алгебраистом Вильгельмом Магнусом и его учеником Брюсом Чандлером. Авторы не ограничиваются формулировкой тех или иных важных результатов в рассматриваемой области, а стараются также проследить историю возникновения и взаимного влияния фундаментальных идей и методов, которые в конечном счете и определяют развитие науки. Для широкого круга читателей будут интересны главы, в которых авторы делятся своими наблюдениями о закономерностях развития современной математики, об обмене научной информацией между математиками разных стран, о трудностях, возникающих в связи с быстрым ростом объема публикуемой научной информации. Книга предназначена для тех, кто занимается комбинаторной теорией групп и ее приложениями, и для широкого круга лиц, интересующихся историей математики. Читатель может почерпнуть в ней также много интересных идей, лежащих на стыке различных разделов математики с комбинаторной теорией групп, идей, которые возникли в науке в первой половине 20-го века и являются актуальными в настоящее время.

Т. 1. - 485 с.

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

Настоящая работа имеет своей целью показать, что одной из важнейших закономерностей в развитии современной математики является взаимодействие абстрактного и конкретного, что развитие математики отражает развитие объективной действительности, носит диалектический характер. Отсюда следует, что познание сущности математических понятий предполагает диалектико-материалистический подход, так как математика - наука о количественных отношениях и пространственных формах объективного мира. Только такой подход дает возможность глубоко усвоить математику и плодотворно применять ее в решении задач современной науки и техники.

В последнее время теория графов привлекает все более пристальное внимание специалистов различных областей знания. Наряду с традиционными применениями ее в таких науках, как физика, электротехника химии, она проникла и в науки считавшиеся раньше далекими от нее - экономику, социологию лингвистику и др. Давно известны тесные контакты теории графов с топологией, теорией групп и теорией вероятностей. Особенно важная взаимосвязь существует между теорией графов и теоретической кибернетикой (особенно теорией автоматов исследованием операций, теорией кодирования, теорией игр). Широко используется теория графов при решении различных задач на вычислительных машинах. За последние годы тематика теории графов стала значительно разнообразней; резко увеличилось количество публикаций. Предлагаемая книга написана одним из видных специалистов по дискретной математике. Несмотря на небольшой объем и конспективный характер изложения, книга достаточно полно освещает современное состояние теории графов. Она, безусловно, будет полезна студентам университетов и технических вузов и, несомненно, заинтересует широкие круги научных работников, занимающихся приложениями дискретной математики

Монография по современному, бурно развивающемуся разделу дискретной математики — теории перечисления графических объектов. Имя первого автора хорошо известно по переводам его статей и книги «Теория графов» («Мир», 1973), В предлагаемой работе наряду с классическими результатами Редфилда, Пойа и де Брёйна представлевы сравнительно новые факты, уставовленные Робиисоном, Байнеке и авторами. Последняя глава содержит интересный обзор решенных и нерешенных задач перечислевия графов. Изложение систематичное и достаточно подробное. Книга заинтересует математиков, физиков, экономистов и специалистов, работающих в тех областях звания, где используются идеи и методы комбинаторного анализа.

Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исследований по основаниям математики и по математической логике тесно связано с ней. Брошюра будет полезна всем математикам, а также представителям других специальностей, интересующихся приложениями математической логики.