математика

Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983

Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983.

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

Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983
Скачать и читать Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983
 

Апология математики, Успенский В.А.

Апология математики, Успенский В.А.

Фрагмент из книги:
"Человек отличается от свиньи, в частности, тем, что ему иногда хочется поднять голову и посмотреть на звёзды”. Это изречение принадлежит Виктору Амбарцумяну (в 1961 - 1964 гг. президенту Международного астрономического союза). А почти за двести лет до того на ту же тему высказался Иммануил Кант. Кант поставил звёздное небо, по силе производимого впечатления, на один уровень с пребывающим внутри человека, и прежде всего внутри самого Канта, нравственным законом. Эти высказывания объявляют усеянное звёздами небо частью общечеловеческой духовной культуры и, более того, такой её частью, которая для всякого человека должна быть обязательной. Трудно представить человека, не впечатлявшегося видами неба. (Впрочем, воспоминания переносят меня в осень 1947 года, на лекцию по астрономии для студентов первого курса механико-математического факультета МГУ. Лекцию читает профессор Куликов. Он делает нам назидание. “В прошлом веке профессор Киевского университета Митрофан Хандриков, - говорит профессор Куликов, - на экзамене спросил студента, каков видимый размер Луны во время полнолуния, и получил ответ, что тот не может этого знать, поскольку никогда не видал Луны”.).

Апология математики, Успенский В.А.
Купить бумажную или электронную книгу и скачать и читать Апология математики, Успенский В.А.
 

Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962

Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962.

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

Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962
Скачать и читать Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962
 

Трехмерная топология и геометрия, Тёрстон У., 2001

Трехмерная топология и геометрия, Тёрстон У., 2001.

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

Трехмерная топология и геометрия, Тёрстон У., 2001
Скачать и читать Трехмерная топология и геометрия, Тёрстон У., 2001
 

Математическая биология, том 2, Пространственные модели и их приложения биомедицине, Мюррей Д., 2011

Математическая биология, Том 2, Пространственные модели и их приложения биомедицине, Мюррей Д., 2011.

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

Математическая биология, Том 2, Пространственные модели и их приложения биомедицине, Мюррей Д., 2011
Скачать и читать Математическая биология, том 2, Пространственные модели и их приложения биомедицине, Мюррей Д., 2011
 

Математическая биология, том 1, Введение, Мюррей Д., 2009

Математическая биология, Том 1, Введение, Мюррей Д., 2009.

  Настоящая книга представляет собой первый том знаменитого издания Джеймса Мюррея по математической биологии и служит введением в предмет. Здесь используется простой математический аппарат, в основном обыкновенные дифференциальные уравнения, что делает книгу доступной студентам, обучающимся на старших курсах университетов и в аспирантуре. На некоторых вопросах — такие как моделирование динамики брачных взаимоотношений и динамика распространения ВИЧ — Дж. Мюррей останавливается более подробно и вводит новые приложения. Также здесь рассматриваются базовые концепции моделирования, дается справочный материал и ссылки на дополнительную литературу. Большое внимание уделяется обсуждению связей между моделями и экспериментальными данными.
Являясь обширным практическим руководством по математической биологии, эта книга ярко демонстрирует читателю, как в области биологических и медицинских наук рождаются новые задачи для математиков и какой вклад могут внести математики в развитие этих областей исследования.

Математическая биология, Том 1, Введение, Мюррей Д., 2009
Скачать и читать Математическая биология, том 1, Введение, Мюррей Д., 2009
 

Математика в логических упражнениях, Гайштут А.Г., 1985

Математика в логических упражнениях, Гайштут А.Г., 1985.

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

Математика в логических упражнениях, Гайштут А.Г., 1985
Скачать и читать Математика в логических упражнениях, Гайштут А.Г., 1985
 

Логика естественных рассуждений, Кулик Б.А., 2001

Логика естественных рассуждений, Кулик Б.А., 2001.

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

Логика естественных рассуждений, Кулик Б.А., 2001
Скачать и читать Логика естественных рассуждений, Кулик Б.А., 2001
 
Показана страница 464 из 1434