Теория

Статья о Киберсин в Oracle Magazine за февраль 2008

В февральском номере Oracle Magzine опубликована статья "Стэффорд Бир и новые аналитические средства КИС"
http://www.oracle.com/global/ru/oramag/f...
В статье анализируется опыт Киберсин для перспективы ИТ

Предварительные соображения о лексиконе программирования

Академик А.П. Ершов, 1983 г.

В рассуждениях о том, как надо развиваться программированию, нам, к сожалению, приходится начинать с того, что существующая практика программирования совершенно не адекватна тем задачам, которые стоят перед этим новым видом человеческой деятельности. Охарактеризуем вкратце как сегодняшнюю практику программирования, так и задачи в расчете на 15 – 20-летнюю перспективу.

ELIT. ООП и роли

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

ELIT.Предисловие

Смысл и значение первого слова обсуждать пока не будем - просто слово хорошее, не помню, чтобы раньше встречалось в эхе, а тему как-то надо отличать от других. Сначала о самых общих соображениях.

Машины теорий. Структура линейного текста и ее альтернативы

Алексей Седов, 1997

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

Теорема Геделя о неполноте

В. А. Успенский (Theoretical Computer Science 130,1994, pp.273-238.), перевод А. Иличевского
источник: http://metaphysis.narod.ru/things/tavrov/alexandrian/a_p.htm

1. Постановка задачи

Теорема о неполноте, точную формулировку которой мы дадим в конце этой главки, а быть может позже (в случае возникновения к этому интереса у читателя) и доказательство, утверждает примерно следующее: при определенных условиях в любом языке существуют истинные, но недоказуемые утверждения.

Subscribe to RSS - Теория