Истинное знание состоит не в знакомстве с фактами, которое делает человека лишь педантом, а в использовании фактов, которое делает его философом.
Г. Бокль
A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science)
Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how methodologies can be formalized, and will open up a range of applications and problems for theoretical computer scientists.
Вы не поверите! ДваP листочка утоляют голод В Индии растет растение под местным названием “обмани желудок”. Съев 1-2 листочка растения калир-канда, человек чувствует сытость на протяжении целой недели, хотя листья не содержат ценных питательных веществ. Свойство растения создавать иллюзию сытости используется в изготовлении таблеток и настоев из листьев, которые с успехом используют люди, страдающие от [...]
На Землю прилетали космические пришельцы
В метеоритах ученые нашли внеземные нуклеобазы 0элементы, из которых состоит ДНК всех живых существ. А это значит, что жизнь на Землю была занесена из космоса. Раньше это была лишь одна из версий, теперь она практически доказана. Специалисты американского аэрокосмического агентства (NASA) с коллегами из вашингтонского института Карнеги пришли к выводу, что химия внутри астероидов [...]