Scheme - a simple, learnable dialect of LISP has emerged as a popular educational language as well as a serious tool for producing applications and system software. Programming in Scheme provides an accessible introduction to Scheme that assumes no previous programming experience and covers all the basics of the language and many advanced topics as well. It gets readers on the machine early, teaches language structure and programming technique through extended examples an exercises, and emphasizes debugging throughout.

A brief introduction to functional programming is given using the J programming language for examples. Several examples show the expressive power of functional languages and their application to topics in mathematics. Use of the J language as a substitute for mathematical notation is discussed.

The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several critical periods: early work on lambda calculus and combinatory calculus, Lisp, Iswim, FP, ML, and modern functional languages such as Miranda1 and Haskell. The fundamental premises on which the functional programming methodology stands are critically analyzed with respect to philosophical, theoretical, and pragmatic concerns. Particular attention is paid to the main features that characterize modern functional languages: higher-order functions, lazy evaluation, equations and pattern matching, strong static typing and type inference, and data abstraction. In addition, current research areas—such as parallelism, nondeterminism, input/output, and state-oriented computations—are examined with the goal of predicting the future development and application of functional languages.

  Текст у форматі PDF 3.01 Мб

This remarkably comprehensive new book assembles concepts and results in relational databases theory previously scattered through journals, books, conference proceedings, and technical memoranda in one convenient source, and introduces pertinent new material not found elsewhere. The book is in- tended for a second course in databases, but is an excellent reference for researchers in the field.. The material covered includes relational algebra, functional dependencies, multivalued and join dependencies, normal forms, tableaux and the chase computation, representation theory, domain and tuple relational calculus, query modification, database semantics and null values, acyclic database schemes, template dependencies, and computed relations. The final chapter is a brief survey of query languages in existing relational systems. Each chapter contains numerous examples and exercises, along with bibliographic remarks.

Благонадійні в 1940-х чи 1950-х роках підручники, романи, опери, картини нібито безнадійно застаріли, а грізні викривальні постанови ЦК КПРС «у галузі культури» припали пилом. Та все-таки події, що їх аналізує канадський історик з Університету Вікторії Сергій Єкельчик, сьогодення стосуються безпосередньо. Утверджені за тих часів концепції дружби народів СРСР та українсько-російського братерства чинні у політичному дискурсі дотепер. Ба більше, зужиті ідеологеми тяжіють і над найзатятішими опонентами всього «совєтського» в сучасній Україні: ті також вірять в об’єктивне існування нації як органічної спільноти й так само уявляють історію як природний лінійний розвиток нації на шляху до здобуття державности (тільки справжньої, а не у формі «Української РСР»). Концепція «возз’єднання» України з Росією 1654 року вже великою мірою скомпрометована, але й далі живе поняття «возз’єднання» всіх українських етнічних земель у складі Української РСР протягом 1939–1945 років, – а саме сталінські ідеологи вперше описали ці події такою мовою. Цю книжку, що її вперше надрукувало видавництво Торонтського університету у 2004 році, присвячено репрезентаціям минулого в українській науці та культурі сталінського часу. Автор підважує стереотипні уявлення про сталінізм як всеохопну й дієву диктатуру й на основі численних архівних джерел аналізує обмеженість і часту неефективність державного контролю над культурою, важливу роль української інтеліґенції у виробленні радянської моделі історичної пам’яті та можливість «прочитати» ідеологічно витримані твори в українському патріотичному дусі. Було би спрощенням думати, доводить Сергій Єкельчик, що тогочасні російсько-українські стосунки – однобічний диктат «старшого брата». Вони насправді становили складну систему контролю, компромісів і конвенцій, до якої активно залучалися тогочасні українські інтелектуали. Попри твердження цілої пострадянської української історіографії, сталінський варіянт української культури не був результатом придушення «природних» національних почуттів місцевої інтеліґенції. Республіканська бюрократія та інтеліґенція, які інтерпретували туманні, проте потужні сиґнали з Кремля, були, як запевняє дослідник, головними гравцями у формуванні сталінської історичної уяви, а шістдесятники підхопили відновлення національного наративу не тому, що були вродженими націоналістами, а тому, що виросли в сталінській імперії пам’яті, а ця імперія не змогла виробити ненаціональної версії минулого.

В цій темі будуть розглянуті питання, пов’язані з: поняттям функції, функціональної залежності, способами задання функції, загальними властивостями функції, основними елементарними функціями, інтерполяцією функції.

Посібник до практичних занять зі спортивної медицини для студентів медичних факультетів укладений відповідно до програми, навчального плану та методичних рекомендацій, щодо впорядкування навчально-методичної документації кафедр. Посібник складається з розділів: обстеження фізичного розвитку, функціонального стану серцево-судинної, дихальної та вегетативної нервової систем, визначення фізичної працездатності, експрес-оцінка фізичного стану людини; лікарсько-педагогічні спостереження в процесі фізичного виховання та спортивного вдосконалення; санітарно-гігієнічний контроль; методи медичного обстеження спортсменів, поліклінічний прийом осіб, які займаються фізкультурою та спортом. По кожній темі послідовно висвітлені основні питання стосовно методології предмета, наведені літературні джерела та матеріали для самоперевірки студентів. Посібник дає можливість студентам полегшити вивчення важливих розділів спортивниї медицини і сприятиме підвищенню фахового рівня майбутніх лікарів.

В книге в справочной форме приведены результаты систематического исследования вариационных принципов теории упругости и оболочек в соответствии с теорией преобразования вариационных проблем Гильберта и Куранта. Для научных сотрудников, аспирантов, инженеров, студентов вузов.

Науково-технічний і економічний прогрес в Україні на сучасному етапі нерозривно пов'язані з ефективною діяльністю у сфері захисту прав споживачів. Стандартизація, метрологія, сертифікація - головні складові технічного регулювання як основи надійного захисту прав споживачів. Потрібно чітко розрізняти стандартизацію, метрологію та сертифікацію, на яких будується система забезпечення прав споживачів на отримання якісних та безпечних товарів, робіт і послуг. Стандартизація - це діяльність, що полягає у встановленні положен для загального і багаторазового застосування щодо наявних чи можливих завдань з метою досягнення оптимального ступеня впорядкування у певній сфері, результатом чого є підвищення рівня відповідності продукції, процесів та послуг їх функціональному призначенню, усунення бар'єрів у торгівлі і сприяння науково-технічному співробітництву. Метрологія - наука про вимірювання, яка включає як теоретичні, так і практичні аспекти вимірювань у всіх галузях науки і техніки. Сертифікація - процедура, за допомогою якої визнаний в уста- новленому порядку орган документально засвідчує відповідність продукції, систем якості, систем управління якістю, систем управління довкіллям, персоналу встановленим законодавством вимогам.

Дается систематическое изложение основ теории линейного абстрактного функционально-дифференциального уравнения. Эта теория позволяет рассматривать с единой точки зрения многочисленные классы уравнений, изучавшихся ранее вне связи друг с другом, в частности, уравнении с сингулярностями, с импульсными воздействиями, интегро-дифференциальных, с отклоняющимся аргументом, некоторые возмущения уравнения Пуассона... Теоремы общей теории открывают новые возможности для вычислительного эксперимента в изучении краевых задач, задач управления и минимизации квадратичного функционала в различных пространствах. Отдельная глава посвящена нелинейным уравнениям и краевым задачам, а также задаче минимизации нелинейных функционалов. Для научных работников, преподавателей, аспирантов и студентов математических факультетов, интересы которых связаны с дифференциальными и функционально-дифференциальными уравнениями.

Книга представляет собой учебник по объединенному курсу аналитической геометрии и линейной алгебры для университетов. Наряду с традиционной тематикой книга содержит основные сведения из многомерной аналитической геометрии, включая аффинную классификацию гиперповерхностей второго порядка. Кроме того, в книге излагаются простейшие понятия геометрии n-мерного проективного пространства.

У монографії висвітлюються онтологічні й функціональні властивості сучасної української фраземіки у зв'язку з теоретичними проблемами загальної фразеології. На основі системного підходу до мовних явищ розглядається питання про статус фразеологічних одиниць у системі мови з погляду їх взаємодії з різними структурними рівнями мови — лексичним, морфологічним і синтаксичним. Для науковців і спеціалістів.

Т. 1. - 2006. - 367 с.

Зважаючи на актуальність питання про ефективність функціонування Парламенту нашої держави сьогодні, пропонується наступне дослідження, присвячене особливостям влаштування апаратів та секретаріатів законодавчих органів світу. Зважаючи на різноманітність можливих варіацій структури таких апаратів, що залежить від завдань, покладених на парламенти різних країн світу, можна стверджувати, що оптимального та єдиного підходу до структури апарату не існує. Тому дослідження спрямоване на допомогу оптимізації роботи апарату законодавчого органу. У цьому контексті корисними є питання, пропоновані до розгляду, оскільки вони висвітлюють особливості структури апаратів світу. Їх кількісного наповнення, функціональних особливостей, підходів до формування апаратів (освітні та кваліфікаційні вимоги для кандидатів), способи та обсяги фінансування та багато інших, практично важливих питань

Сборник включает вопросы по линейной алгебре (матрицы, определители, системы линейных уравнений, линейные векторные пространства) и аналитеческой геометрии, предусмотренные программой курса "высшая математика" для инженерно-технических специальностей ВУЗов. Сборник удобен наличием теоретических вопросов к каждой теме, примерами решения задач

Предметом настоящей книги являются некоторые специальные вопросы, относящиеся к так называемой проблеме моментов. Книга разбита на отдельные статьи, которые, в основном, читаются независимо друг от друга. Основная статья (L-проблема моментов) своим отправным пунктом имеет некоторые идеи и проблемы, выдвинутые академиком А. А. Марковым. Следующие три статьи трактуют в свете функционального анализа некоторые из вопросов, решенных или затронутых в первой статье. Дальнейшие две статьи посвящены применениям одного класса функций (называемых авторами N-функциями), играющего большую роль в проблеме моментов.

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

У книзі наведено дані про структурно-функціональну організацію сечовидільної системи, лабораторно-інструментальні методики, які застосовують для діагностики її захворювань. Описана провідна семіотика, висвітлені сучасні підходи до лікування окремих форм патології та синдромів, пов'язаних з ураженням нирок (гломерулонефрити, пієлонефрити, ренальна артеріальна гіпертензія, нефротичний синдром, гостра ниркова недостатність, дисметаболічні нефропатії), принципи диспансеризації та санаторно-курортного лікування.