Загрузка...

колмогоров а драгалин а математическая логика дополнительные главы

Колмогоров А., Драгалин А. Математическая логика. Дополнительные главы

RUR979

Модель:

Авторы настоящей книги – А. Н. Колмогоров и А. Г. Драгалин – выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Колмогоров А., Драгалин А. Математическая логика. Дополнительные главы

RUR979

Модель:

Авторы настоящей книги – А. Н. Колмогоров и А. Г. Драгалин – выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Фоменко А. Дифференциальная геометрия и топология. Дополнительные главы

RUR979

Модель:

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

Фоменко А. Дифференциальная геометрия и топология. Дополнительные главы

RUR979

Модель:

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

Власов А. Дополнительные главы классической электродинамики. Проблемы радиационной отдачи

RUR556

Модель:

В книге разобраны проблемы, возникающие в классической (то есть не квантовой) электродинамике при попытке учесть обратную реакцию излучаемых электромагнитных волн на само излучающее тело. Рассмотрена стандартная модель учета такой отдачи — модель Абрагама—Лоренца—Дирака и подробно проанализированы возникающие здесь при переходе к точечным размерам излучающего тела сложности. Разобраны модели неточечных классических (неквантовых) источников излучения (модель Зоммерфельда и др.) и показаны их отличия и общие черты по сравнению со стандартной моделью. Для студентов старших курсов, аспирантов, преподавателей и научных работников физических специальностей.

Власов А. Дополнительные главы классической электродинамики. Проблемы радиационной отдачи

RUR556

Модель:

В книге разобраны проблемы, возникающие в классической (то есть не квантовой) электродинамике при попытке учесть обратную реакцию излучаемых электромагнитных волн на само излучающее тело. Рассмотрена стандартная модель учета такой отдачи — модель Абрагама—Лоренца—Дирака и подробно проанализированы возникающие здесь при переходе к точечным размерам излучающего тела сложности. Разобраны модели неточечных классических (неквантовых) источников излучения (модель Зоммерфельда и др.) и показаны их отличия и общие черты по сравнению со стандартной моделью. Для студентов старших курсов, аспирантов, преподавателей и научных работников физических специальностей.

Набебин А., Кораблин Ю. Математическая логика и теория алгоритмов

RUR629

Модель:

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.

Набебин А., Кораблин Ю. Математическая логика и теория алгоритмов

RUR629

Модель:

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.

Колмогоров А. Способ жизни

RUR519

Модель:

Книга представляет актера драматической сцены Александра Колмогорова, более всего известного по работе в труппе ташкентского театра "Ильхом", в новом качестве - как прозаика, автора рассказов (не только из жизни коллег), в которых запечатлен срез российской жизни конца ХХ - начала XXI века, провинциальной и столичной, корнями уходящей в эпоху Чехова и Шаляпина и уже протоптавшей дорогу в новейшие времена. Своих персонажей автор знает лично, как и героев воспоминаний. Собственный жизненный и актерский опыт он претворяет в прозу, которая читается "на одном дыхании".

Колмогоров А. Способ жизни

RUR519

Модель:

Книга представляет актера драматической сцены Александра Колмогорова, более всего известного по работе в труппе ташкентского театра "Ильхом", в новом качестве - как прозаика, автора рассказов (не только из жизни коллег), в которых запечатлен срез российской жизни конца ХХ - начала XXI века, провинциальной и столичной, корнями уходящей в эпоху Чехова и Шаляпина и уже протоптавшей дорогу в новейшие времена. Своих персонажей автор знает лично, как и героев воспоминаний. Собственный жизненный и актерский опыт он претворяет в прозу, которая читается "на одном дыхании".

Колмогоров А. Труды по стиховедению

RUR449

Модель:

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

Колмогоров А. Труды по стиховедению

RUR449

Модель:

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

Мордкович Александр Григорьевич, Александрова Лидия Александровна, Семенов Павел Владимирович Алгебра. 8 класс. Учебное пособие

RUR778

Модель:

Учебное пособие написано в соответствии с ФГОС ООО и входит в завершённую линию пособий по алгебре для 7-9-х классов. Его приоритетной содержательно-методической линией является функционально-графическая, ключевыми понятиями - математический язык и математическая модель. Изложение теоретического материала сопровождается подробным рассмотрением большого количества примеров. В конце каждой главы представлены основные факты, рассмотренные в данной главе, вопросы для повторения, а также тест, дополнительные задачи и исторические сведения.

Мордкович Александр Григорьевич, Александрова Лидия Александровна, Семенов Павел Владимирович, Мардахаева Елена Львовна Алгебра. 9 класс. Учебное пособие. ФГОС

RUR778

Модель:

Учебное пособие написано в соответствии с ФГОС ООО и входит в завершённую линию пособий по алгебре для 7-9-х классов. Его приоритетной содержательно-методической линией является функционально-графическая, ключевыми понятиями - математический язык и математическая модель. Изложение теоретического материала сопровождается подробным рассмотрением большого количества примеров. В конце каждой главы представлены основные факты, рассмотренные в данной главе, вопросы для повторения, а также тест, дополнительные задачи и исторические сведения.


Покупают у нас:

спящая красавица и другие сказки | процессор intel xeon e5 1650 3 2 3 8 ghz 6 core 12mb lga2011 e5 1650 | colours abc numbers board book | подкидыш цветная и черно белая версии 2 dvd | валентин плучек или в поисках утраченного оптимизма | игра логика мои игрушки | хлебцы хрустящие гречишно рисовые здоровей мини 100 г | мелан вероника санара | грипсы trix 140 мм | universe the definitive visual guide | ride standard edition | рансфорд санди лошади и пони верховая езда | савицкий в бег на тонких ногах | сапоги женские melania черный 37 | игры для ума мелкая моторика | шацкая евгения библия стервы краткий курс | млечин л м ельцин | перголези джованни баттиста stabat mater клавир ноты | макгвайр джейми мое ходячее несчастье | комплект to4016pbdkit | english for everyone business english practice book level 1 a complete self study programme | раскраска антистресс энергия счастья | зфтс рюкзак детский отдел на молнии цвет бирюзовый | чай фруктовый смородиновый бриз 50 г | календарь квартальный 2023 настенный моноблок из 3хмесяцев петербург картина живопись маслом 330 х 660 мм |

Поиск товаров