Курант Р., Роббинс Г. (2015) Книга написана крупным математиком Рихардом Курантом в соавторстве с Гербертом Роббинсом. Она призвана сократить разрыв между математикой, которая преподается в школе, и наиболее живыми и важными для естествознания и техники разделами современной математической науки. Начиная с элементарных понятий, читатель движется к важным областям современной науки...
Шипачев В. С. (2013) В учебном пособии изложены основные разделы высшей математики: математический анализ функций одной переменной и аналитическая геометрия на плоскости. Теоретический материал сопровождается подробным разбором типовых задач, приводятся упражнения для самостоятельной работы и контрольные задачи для повторения, к которым в конце книги даны ответы и решения...
Азимов А. (2012) Знаменитый фантаст и популяризатор науки сэр Айзек Азимов в этой книге решил окунуть читателя в магию чисел. Свой увлекательный рассказ Азимов начинает с древнейших времен, когда человекиспользовал для вычислений пальцы, затем знакомит нас со счетами, а также с историей возникновения операций сложения, вычитания, умножения и деления...
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...
Кунцман Ж., Наслен П. (1969) Книга содержит результаты работ французских и итальянских специалистов в области теории и практики релейных устройств и конечных автоматов. Особое внимание уделено вопросам синтеза логических схем и устройств с памятью, ряд описанных методов учитывает состязания в схемах, некоторые методы доведены до машинных алгоритмов...
Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...
