• формат pdf
  • размер 304.35 КБ
  • добавлен 25 февраля 2011 г.
Barendregt H., Barendsen E. Introduction to Lambda Calculus (Введение в лямбда-исчисление)
Язык: английский.
Количество страниц: 53.
Формат: PDF.
The Power of Lambda.
Type Assignment.
Reduction Systems.
Смотрите также

Александров А.Д., Колмогоров А.Н., Лаврентьев М.А. (ред.) Математика: её содержание, методы и значение. Том 2

  • формат djvu
  • размер 5.12 МБ
  • добавлен 07 марта 2011 г.
Москва: изд. Академии наук СССР, 1956. - 397 с. Оглавление. V. Обыкновенные дифференциальные уравнения. VI. Уравнения в частных производных. VII. Кривые и поверхности. VIII. Вариационное исчисление. IX. Функции комплексного переменного. X. Простые числа. XI. Теория вероятностей. XII. Приближение функций. XIII. Приближенные методы и вычислительная техника. XIV. Электронные вычислительные машины. Именной указатель. Содержание других томов.

Шпаргалка для экзамена по Математике и Информатике

  • формат doc
  • размер 263 КБ
  • добавлен 30 июня 2011 г.
Данная работа содержит 23 листа с ответами на следующие вопросы по курсу "Математика и информатика": Аксиомы и теоремы. Математические доказательства. Алгоритмы. Виды алгоритмов. Базы данных. СУБД. Вероятность. Виды вероятностей. Виды моделей. Геометрия Эвклида. Основные понятия эвклидовой геометрии. бальные сети ЭВМ. Информационные модели. Локальные сети ЭВМ. Методы вычисления неопределенных интегралов. Моделирование процессов. Операционная сис...

Andreescu T., Mushkarov O., Stoyanov L.N. Geometric problems on maxima and minima

  • формат pdf
  • размер 4.53 МБ
  • добавлен 09 апреля 2011 г.
Abstract. questions of maxima and minima have great practical significance, with applications to physics, engineering, and economics; they have also given rise to theoretical advances, notably in calculus and optimization. Indeed, while most texts view the study of extrema within the context of calculus, this carefully constructed problem book takes a uniquely intuitive approach to the subject: it presents hundreds of extreme value problems, exam...

Bittinger M.L., Beecher J.A. Developmental Mathematics: College Mathematics and Introductory Algebra

  • формат pdf
  • размер 52.78 МБ
  • добавлен 25 сентября 2011 г.
Addison Wesley, 2011. - 1280 pages. 8th Edition The Bittinger series changed the face of developmental education with the introduction of objective-based worktexts that presented math one concept at a time. This approach allowed readers to understand the rationale behind each concept before practicing the associated skills and then moving on to the next topic. With this revision, Marv Bittinger continues to focus on building success through con...

Bohner M., Peterson A.C. (editors) Advances in Dynamic Equations on Time Scales

  • формат djvu
  • размер 2.46 МБ
  • добавлен 02 апреля 2011 г.
Birkhauser Boston, 2002. - 368 Pages. The subject of dynamic equations on time scales continues to be a rapidly growing area of research. Behind the main motivation for the subject lies the key concept that dynamic equations on time scales is a way of unifying and extending continuous and discrete analysis. This work goes beyond an earlier introductory text "Dynamic Equations on Time Scales: An Introduction with Applications" and is designed for...

Kelley W.M. The Complete Idiot's Guide to Algebra

  • формат pdf
  • размер 13.07 МБ
  • добавлен 22 апреля 2011 г.
Alpha, 2004. - 336 Pages. From the author of the highly successful The Complete Idiot's Guide to Calculus comes the perfect book for high school and college students. Following a standard algebra curriculum, it will teach students the basics so that they can make sense of their textbooks and get through algebra class with flying colors.

Robert A. Nonstandard Analysis

  • формат pdf
  • размер 5.29 МБ
  • добавлен 10 апреля 2011 г.
John Wiley & Sons, 1988. - 156 pages. Nonstandard analysis represents a fundamental change of perspective in mathematics (and sciences), comparable to the introduction of Cantor's set theory in the nineteenth century. This book is a short, readable introduction to the subject, based on the axiomatic or IST approach. The first part gives a clear, rigorous exposition of the theory; the second part consists of a number of self-contained chapter...

Sahoo P.K., Kannappan P. Introduction to Functional Equations

  • формат pdf
  • размер 1.41 МБ
  • добавлен 29 октября 2011 г.
CRC Press, 2011. - 465 pages. Introduction to Functional Equations grew out of a set of class notes from an introductory graduate level course at the University of Louisville. This introductory text communicates an elementary exposition of valued functional equations where the unknown functions take on real or complex values. In order to make the presentation as manageable as possible for students from a variety of disciplines, the book choos...

Steinhaus H. One Hundred Problems in Elementary Mathematics

  • формат djvu
  • размер 1023.87 КБ
  • добавлен 02 февраля 2011 г.
Dover Publications, 1979. - 174 pages. A stimulating collection of one hundred problems, complete with instructive solutions, on numbers, equations, polygons, polyhedra and many other topics. Extremely challenging for anyone with a fair knowledge of mathematics up to calculus. Includes an additional 13 problems without solutions.

Wesner T. (editor) Trigonometry with Applications

  • формат pdf
  • размер 74.19 МБ
  • добавлен 20 февраля 2011 г.
Klein Publishing, 2007. - 430 pages. This text is designed to serve as a one semester introduction to trigonometry and its applications for college students. It is assumed that students have basic skills in solving linear and quadratic equations, working with radicals, and simple graphing as well as some acquaintance with, and access to, a scientific calculator. There is no separate chapter of review material. Most students react negatively to s...