Обложка Шиханович Ю.А. Логические и математические исчисления
Id: 157434
439 руб.

Логические и математические исчисления

2011. 256 с. ISBN 978-5-91522-246-4.
  • Твердый переплет

Аннотация

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.

От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику» (М: «Научный мир», 2005).

Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано... (Подробнее)


Об авторе
Шиханович Юрий Александрович
Кандидат педагогических наук. В 1955 г. окончил механико-математический факультет МГУ имени М. В. Ломоносова. В 1955–1957 гг. преподавал в Московском авиационном институте (МАИ) и Московском энергетическом институте (МЭИ), работал в Лаборатории электромоделирования АН СССР. В 1960–1968 гг. преподавал математику на Отделении структурной и прикладной лингвистики филологического факультета МГУ. В 1968–1972 гг. работал инженером в Специальном конструкторском бюро биофизической аппаратуры и электронных машин, в 1975–1983 гг. — редактором в журнале «Квант». С 1995 по 2011 гг. преподавал в Российском государственном гуманитарном университете (РГГУ) математику студентам-лингвистам.

Ю. А. Шиханович стал одним из тех, кто вел в СССР пропаганду и преподавание современной математики. Он был редактором книги В. А. Успенского «Лекции о вычислимых функциях», изданной в серии «Математическая логика и основания математики», и, по свидетельству автора, «без его помощи эта книга, вероятно, не была бы написана». Вместе с Г. Н. Поваровым он перевел на русский язык книгу коллектива французских математиков, объединившихся под псевдонимом Н. Бурбаки: «Начала математики: Основные структуры анализа». В 1965 г. им была опубликована книга «Введение в современную математику: Начальные понятия» (в 1967 г. книга была издана в Японии). В 2005 г. вышла книга «Введение в математику» — переработанное и дополненное переиздание книги 1965 г. Он также опубликовал следующие книги: «Группы, кольца, решетки» (книга по алгебре) (2006), «Минимум по теории алгоритмов для нематематиков» (2009), «Начальные главы математического анализа в полуформальном изложении» (2010), «Логические и математические исчисления» (2011).