Математика

В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования.

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

Целью создания серии «Математика и физика» является развитие фундаментальных исследований в области математики и физики в СФУ, обеспечения международного приоритета научных работ преподавателей, сотрудников, аспирантов, докторантов, а также интеграция журнала в международное информационное пространство.

Книга известного американского лингвиста является одним из фундаментальных трудов, положивших начало когнитивному направлению в лингвистике и когнитивизму в целом. Новая, когнитивно ориентированная теория познания и языка (называемая автором экспериенциализмом) строится в книге на материале критического рассмотрения и обобщения результатов чрезвычайно широкого круга исследований в области самых разных наук, прежде всего философии, логики, психологии, антропологии, биологии, математики, физики, компьютерной науки, исследований в области искусственного интеллекта, физиологии восприятия и, конечно, лингвистики. Предложенный автором подход, основанный на таких понятиях, как когнитивные, в том числе метафорические и метонимические, модели, образные схемы, радиальные категории, прототипы и мотивация, применен в книге к исследованию трех различных языковых областей - языковых концептов, значений многозначного слова и грамматических конструкций (на материале обозначений гнева, значений предлога over и обширного класса дейктических и экзистенциальных there-конструкций в английском языке).