ISBN: 978-5-9507-0645-5
Издательство: Учебная литература (Корпорация Федоров)
Дата выхода: январь 2009

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

ISBN: 978-5-9916-7711-0
Издательство: Юрайт
Дата выхода: сентябрь 2016

ISBN: 978-5-8114-9551-1
Издательство: Лань
Дата выхода: январь 2022

Пособие состоит из двух книг, каждая из которых содержит по два раздела: книга 1 - "Алгебра и элементарные функции", "Начала математического анализа"; книга 2 - "Геометрия", "Дополнительные главы". Изложение теоретического материала сопровождается подробным разбором большого количества примеров и задач. Каждый параграф завершается вопросами для контроля и упражнениями для самостоятельной работы. Пособие...

ISBN: 978-5-488-01805-1
Издательство: ОНИКС 21 век
Дата выхода: февраль 2009

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

ISBN: 978-5-9963-0431-8
Издательство: Бином
Дата выхода: октябрь 2010

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

ISBN: 978-5-382-01392-3
Издательство: ЛКИ
Дата выхода: июль 2012