Экспликативное программирование (science.exact.explicative) : Рассылка : Subscribe.Ru

Отправляет email-рассылки с помощью сервиса Sendsay

Экспликативное программирование

Рассылка закрыта

При закрытии подписчики были переданы в рассылку "Управление проектами: эзотерические составляющие" на которую и рекомендуем вам подписаться.

Вы можете найти рассылки сходной тематики в Каталоге рассылок.

← Апрель 2024
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30

Автор

Вадим Винник

Экспликативное программирование (ЭП) -- одно из новейших и наиболее
перспективных направлений в теории программирования, направленное на
адекватное раскрытие сущности своего предмета, не замыкающееся на узких,
локальных вопросах конкретных прикладных областей программирования или его
отдельных аспектах, а стремящееся охватить сущностно-определяющие,
общезначимые характеристики феномена программирования. Рассылка действует
при поддержке основоположника ЭП В.Н.Редько, акад. НАНУ, зав. кафедрой ТП
Киевского национального университета им. Т.Шевченко.

Статистика

1.531 подписчиков
0 за неделю

Выпуски

Статистика

Экспликативное программирование Непосредственное и опрсредованное применение

Информационный Канал Subscribe.Ru Экспликативное программирование Непосредственное и опрсредованное применение Здравствуйте, уважаемые подписчики! С праздниками! Следующий шаг на пути экспликации понятия программирования связан со следующим принципом, обобщающим предыдущие: Программирование есть процесс пошаговых применений средств построения объектов к объектам Ввиду провозглашенных выше принципов программологичности и композиционности "средства построения" следует понимать как "средства логичного построе...

2002-05-03 21:13:30 + Комментировать

Экспликативное программирование Программологические объекты и отношения

Информационный Канал Subscribe.Ru - www.lycos.ru Экспликативное программирование Программологические объекты и отношения Здравствуйте, уважаемые подписчики! Краткое содержание предыдущих выпусков сводится к тому, что экспликация программирования сводится к экспликации композиционной логики построения программных объектов . В этом выпуске разберем важнейшие следствия этого тезиса. Программный объект, рассматриваемый через призму логики построения, называется программологическим объектом . Программологически...

2002-04-23 22:38:36 + Комментировать

Экспликативное программирование Научная информация

Информационный Канал Subscribe.Ru Новый модный поиск - www.lycos.ru Экспликативное программирование Научная информация Информируем Вас о том, что 1-3 июля 2002 года в городе Киеве (Украина) состоится четвертая международная научно-практическая конференция "Системный анализ и информационные технологии. Имеем честь пригласить Вас для участия в конференции. Для участия необходимо до 15 мая 2002 года прислать заявление и тезисы докладов. Правила их предоставления представлены ниже. Студенческий совет Националь...

2002-04-12 11:22:02 + Комментировать

Экспликативное программирование Принцип композиционности

Служба Рассылок Subscribe.Ru Экспликативное программирование Принцип композиционности Здравствуйте, уважаемые подписчики! В предыдущих выпусках мы выяснили, что для адекватного отображения сущности феномена программирования необходимо развертывать построение теории в соответствии с общими законами диалектической гносеологии и учитывать ключевые характеристики программирования, в первую очередь генетичность (смотреть на программы, языки и системы программирования сквозь призму процессов их построения) и про...

2002-04-10 11:37:14 + Комментировать

Экспликативное программирование Переписка

Служба Рассылок Subscribe.Ru Экспликативное программирование Переписка Здравствуйте, уважаемые подписчики! Читателям, вероятно, давно не терпится перейти к более конкретным вещам: увидеть ЭП в действии, на конкретных примерах, познакомиться с формальным аппаратом ЭП, разобрать ряд любопытных теорем. Мне тоже. Но данный выпуск снова будет посвящен общему вопросу: "Зачем все это нужно. К этому меня побудило следующее письмо: "Доброе время суток, Вадим. Ну и чушь же, простите, собачья эта ваша рассылка. В ней...

2002-03-15 21:39:37 + Комментировать

Экспликативное программирование Некоторые аспекты программологичности

Служба Рассылок Subscribe.Ru Экспликативное программирование Некоторые аспекты программологичности Здравствуйте, уважаемые читатели. А особенно читательницы! ВЕСНА своей легкой, летящей походкой входит. нет, врывается в нашу жизнь, взмахом юной руки раздвигая изрядно прохудившийся снежный занавес! Всех милых читательниц крепко целую и нежно обнимаю от имени всех читателей! Весны вам и солнца! Методическое замечание. Как вы уже заметили, в этой рассылке я описываю не только и не столько эксплицитную теорию ...

2002-03-06 10:43:31 + Комментировать

Экспликативное программирование Генетичность и программологичность

Служба Рассылок Subscribe.Ru Экспликативное программирование Генетичность и программологичность Здравствуйте, уважаемые подписчики! В предыдущих выпусках мы определились, что , собственно, собираемся строить (а именно, адекватную теорию программирования, выяснили в первом приближении направление своего дальнейшего продвижения (какой должна быть адекватная теория и что понимать под адекватностью) и даже вкратце рассмотрели, зачем это нужно (для унификации разрозненных специфических теорий на единой концепту...

2002-02-18 01:04:21 + Комментировать

Экспликативное программирование Предупреждение автора

Служба Рассылок Subscribe.Ru Экспликативное программирование Предупреждение автора Этот выпуск адресован тем многочисленным подписчикам, которые только что подписались на рассылку, увидев ее анонс в новостях. Немедленно отпишитесь от этой рассылки! В рассылке ничего не говорится об особенностях Win32, BIOS, OLE, представляющих основной интерес при настоящем программировании. В ней нет ни слова об объектно-ориентированном программиро- вании, открывшем новую эпоху в построении дружественных и эффек- тивных п...

2002-02-05 22:32:33 + Комментировать

Экспликативное программирование ЭП как основа интеграции программологии

Служба Рассылок Subscribe.Ru Экспликативное программирование ЭП как основа интеграции программологии Здравствуйте, уважаемые подписчики! Как я уже говорил, ЭП весьма многоаспектно, и потому изложение его оснований можно строить множеством различных способов, вынося на первый план те или иные аспекты и, что еще важнее, взаимоствязи аспектов. В этом выпуске мы рассмотрим роль ЭП в качестве объединяющего начала, которое позволяет от семейства разрозненных частных теорий программирования перейти к концептуальн...

2002-01-24 13:17:09 + Комментировать

Рекомендуем подписаться:

{#template MAIN} <div id="loginForm" style="display:none;" class="subscriberu_popup"> <div class="popup_register"> {#include js_tmpl_auth_reg_tab} {#if $P.login_register_tab == 1} <form class="authentication-form" method="post" action="/MEMBERLOGIN_authen_cred"> <dl class="rg_block_options"> <dt id="js_tap_panel_auth"> <h1>Войти на сайт</h1> {* {#include js_tmpl_auth_reg_button} *} {#include js_tmpl_auth_reg_action} <hr class="logreg_line noPhones"> <div class="logreg_descr noPhones"><p>{#include js_tmpl_auth_reg_descr} </p></div> <div class="logreg_advice noPhones"> Если вы еще не с нами, то начните с <a href="#" onclick="rgNav('js_tab_reg');return false;" class="dashed" data-func="registr">регистрации</a> </div> <br><br> <a class="dashed auth-enter" href="/manage/author/"><b>Вход для авторов</b></a> </dt> </dl> </form> {#/if} {#if $P.login_register_tab == 2} <div class="rg_block_options"> <div id="js_tap_panel_auth"> <h1>Регистрация</h1> <div class="social_reg"> {* <div class="rg_description">{#include js_tmpl_soc_auth_reg_descr}</div> *} {#include js_tmpl_auth_reg_soc} <div class="rg_soc_auth_agree">{#include js_tmpl_auth_reg_agree}</div> </div> <div class="subscribe_reg"> {* <div class="rg_description"> #include js_tmpl_auth_reg_descr </div> *} {#include js_tmpl_auth_reg_action} </div> {* {#include js_tmpl_auth_reg_button} *} <div class="clr"> </div> <hr class="logreg_line noPhones"> <div class="logreg_descr noPhones">{#include js_tmpl_auth_reg_descr} {#include js_tmpl_soc_auth_reg_descr} </div> </div> </div> {#/if} </div> {* <div class="gray_bg register_shadow"></div> *} </div> {#/template MAIN} {#template js_tmpl_auth_reg_tab} <ul class="rg_nav"> <li id="js_tab_auth" class="{#if $P.login_register_tab == 1} rg_active_nav {#/if} rg_first_nav"><a onclick="rgNav('js_tab_auth');return false;" href="">Вход на сайт</a></li> <li id="js_tab_reg" class="{#if $P.login_register_tab == 2} rg_active_nav {#/if}"><a onclick="rgNav('js_tab_reg');return false;" href="">Регистрация </a></li> </ul> <span onclick="hidebo();" class="rg_closed"> </span> {#/template js_tmpl_auth_reg_tab} {#template js_tmpl_auth_reg_action} {#if $P.login_register_tab == 1} {#include js_tmpl_auth_reg_soc} {#/if} <div class="rg_forms"> <input type="hidden" id="login_register_destination" value="{$P.login_register_destination}"/> {#if $P.login_register_tab == 1} <div class="rg_for_input"> <span class="rg_text_inner">E-mail или код подписчика</span> <input id="credential_0" class="js_keydown_selector rg_input_text" data-js_submit="no" data-js_next_input_name="credential_1" name="" type="text" /> </div> <div class="rg_for_input"> <span class="rg_text_inner">Пароль</span> <input id="credential_1" class="js_keydown_selector rg_input_text" data-js_submit="yes" data-js_action="js_loginFormBut" name="" type="password" onkeyup="showAttention(this,!!window.event.shiftKey)" /> <span class="pswd_attention" id="attention_pswd"> <span class="icon_attention"></span> <span class="pswd_attention-text" id="attention-text_pswd1">Русская раскладка клавиатуры!</span> <span class="pswd_attention-text" id="attention-text_pswd2">У вас включен Caps Lock!</span> <span class="pswd_attention-text" id="attention-text_pswd3">У вас включен Caps Lock и русская раскладка клавиатуры!</span> </span> </div> <div class="rg_for_input input-alien"> <span class="chk noPhones"><input id="chk_alien" name="" type="checkbox" /></span><label for="chk_alien" class="noPhones"> Чужой компьютер</label> <a class="forgot_pass" href="/member/totalrecall">Забыли пароль?</a> </div> <div class="rg_for_input"> <em id="auth_msg" class="reg_error"></em> <input id="lf_typeauthid" value="email" type="hidden"> <input type="submit" class="button button-red logreg_submit" id="js_loginFormBut" value="Войти">  <div class="loading loading-cover" style="display: none;"><div class="loader"></div></div> </div> {#/if} {#if $P.login_register_tab == 2} <div class="rg_for_input"> <span class="rg_text_inner">E-mail</span> <input id="arfemail" class="js_keydown_selector rg_input_text" name="" type="text" data-js_submit="yes" data-js_action="js_regFormBut"/> </div> <div class="rg_for_input rg_set_lineh rg_for_input_wide"> <label class="js_tap_panel_checkbox"> <span class="chk"><input name="" id='js_tap_panel_checkbox_terms' type="checkbox" data-js_submit="yes" /></span> Я ознакомился и согласен с <a class="link_txd logreg_accLink" href="/faq/vereinbarung.html">условиями сервиса Subscribe.ru</a> </label> <br /> <label class="js_tap_panel_checkbox"> <span class="chk"><input name="" id='js_tap_panel_checkbox_personal' type="checkbox" data-js_submit="yes" /></span> Нажимая на кнопку "Готово!", я даю <a class="link_txd logreg_accLink" href="/faq/persverordnung.html">согласие на обработку персональных данных</a> </label> </div> {* <div style="float: left;position: absolute;left: 11em;"> <img src="http://www.kupivip.ru/images/vip/logo.png?1604" style="width: 86px; vertical-align: middle;display: block;"> </div> <div class="rg_for_input rg_set_lineh"> <label class="js_tap_panel_checkbox"><input name="" id="js_tap_panel_checkbox_kupivip" type="checkbox" data-js_submit="yes"> Я хочу получать новости о скидках на одежду</label> </div> *} <div class="rg_for_input"> <em id="reg_msg" class="reg_error rg_for_input_wide"></em> <em id="reg_msg2" class="reg_error rg_for_input_wide"></em> <input id="rf_typeauthid" value="email" type="hidden"> <a class="button button-red logreg_submit" id="js_regFormBut" href="#">Готово!</a> <div class="loading loading-cover" style="display: none;"><div class="loader"></div></div> </div> {#/if} </div> {#/template js_tmpl_auth_reg_action} {#template js_tmpl_auth_reg_agree} <div class="rg_for_input rg_set_lineh rg_for_input_wide"> <label class="js_tap_panel_checkbox"> <span class="chk"><input name="" id='js_tap_panel_checkbox_terms_reg' type="checkbox" data-js_submit="yes" /></span> Я ознакомился и согласен с <a class="link_txd logreg_accLink" href="/faq/vereinbarung.html">условиями сервиса Subscribe.ru</a></label> <em id="reg_msg_soc" class="reg_error rg_for_input_wide"></em> </div> {#/template js_tmpl_auth_reg_agree} {#template js_tmpl_auth_reg_button} <div class="rg_butons_socials"> {#if $P.login_register_tab == 1} <a class="rg_btn_soc rg_bs_01 js_tap_panel_selector" action="auth_email" href="#"><span><i></i>Email</span></a> <a class="rg_btn_soc rg_bs_01 js_tap_panel_selector" action="auth_openid" href="#"><span><i></i>OpenID</span></a> <a class="rg_btn_soc rg_bs_02 js_tap_panel_selector" action="auth_vkontakte" href="#"><span><i></i>Вконтакте</span></a> <a class="rg_btn_soc rg_bs_02 js_tap_panel_selector" action="auth_mailru" href="#"><span><i></i>Mail.Ru</span></a> {#/if} {#if $P.login_register_tab == 2} <a class="rg_btn_soc rg_bs_01 js_tap_panel_selector" action="reg_email" href="#"><span><i></i>Email</span></a> <a class="rg_btn_soc rg_bs_01 js_tap_panel_selector" action="reg_openid" href="#"><span><i></i>OpenID</span></a> <a class="rg_btn_soc rg_bs_02 js_tap_panel_selector" action="reg_vkontakte" href="#"><span><i></i>Вконтакте</span></a> <a class="rg_btn_soc rg_bs_02 js_tap_panel_selector" action="reg_mailru" href="#"><span><i></i>Mail.Ru</span></a> {#/if} </div> {#/template js_tmpl_auth_reg_button} {#template js_tmpl_auth_reg_descr} {#if $P.login_register_tab == 1} Для оформления подписки на выбранную рассылку, работы с интересующей вас группой или доступа в нужный вам раздел, просим авторизоваться на Subscribe.ru {#/if} {#if $P.login_register_tab == 2} Для регистрации укажите ваш e-mail адрес. Адрес должен быть действующим, на него сразу после регистрации будет отправлено письмо с инструкциями и кодом подтверждения. {#/if} {#/template js_tmpl_auth_reg_descr} {#template js_tmpl_soc_auth_reg_descr} Или зарегистрируйтесь через социальную сеть. {#/template js_tmpl_soc_auth_reg_descr} {#template js_tmpl_auth_reg_soc} <div class="rg_soc"> {#if $P.login_register_tab == 1} <a onclick="return _checkSocConfirm(event)" href="https://oauth.vk.com/authorize?client_id=3954260&scope=wall,offline,photos,groups,video,audio,email&redirect_uri={location.protocol+'//'+location.host}/member/login/vk/&response_type=code&v=5.15" class="login_register_vk_button"> <span class="login_register_vk_icon"></span> </a> {#/if} {#if $P.login_register_tab == 2} <a onclick="return _checkSocConfirm(event)" href="https://oauth.vk.com/authorize?client_id=3954260&scope=wall,offline,photos,groups,video,audio,email&redirect_uri={location.protocol+'//'+location.host}/member/join/vk&response_type=code&v=5.15" class="login_register_vk_button"> <span class="login_register_vk_icon"></span> </a> {#/if} </div> {#/template js_tmpl_auth_reg_soc}

{#template MAIN} <div id="loginForm" style="display:none;" class="subscriberu_popup"> <div class="popup_register"> {#include js_tmpl_auth_reg_tab} <dl class="rg_block_options"> <dt id="js_tap_panel_auth"> <p class="rg_description">{#include js_tmpl_auth_reg_descr}</p> <div class="clr"> </div> {#include js_tmpl_auth_reg_action} <div class="clr"> </div> </dt> </dl> </div>  </div> {#/template MAIN} {#template js_tmpl_auth_reg_tab} <ul class="rg_nav"> <li id="js_tab_reg" class="rg_active_nav rg_first_nav"><a href="" onclick="return false;" >Регистрация</a></li> </ul> <span onclick="hidebo();" class="rg_closed"> </span> {#/template js_tmpl_auth_reg_tab} {#template js_tmpl_auth_reg_descr} <strong>Пожалуйста, подтвердите ваш адрес.</strong><br><br>Вам отправлено письмо для подтверждения вашего адреса {$P.register_confirm_mail}.<br>Для подтверждения адреса перейдите по ссылке из этого письма. {#/template js_tmpl_auth_reg_descr} {#template js_tmpl_auth_reg_action} <div class="rg_forms confirm_code_from_letter"> <div class="rg_for_input"> <span class="rg_inp_descr" style="width:15em;">Или введите код из письма:</span> <input type="text" value="" id="confirm_code" name="" data-js_submit="yes" data-js_action="js_confirmFormBut" class="js_keydown_selector rg_input_text_conf" > </div> <div class="rg_for_input"><label>Не пришло письмо? <b>Пожалуйста, проверьте папку Спам</b><br /> (папку для нежелательной почты).</label><br /> <a href="" onclick="ajax_recall_code();return false" >Вышлите мне письмо еще раз!</a></div> <div class="rg_for_input"> <em class="reg_error" id="confirm_msg"></em> <a href="#" class="button button-red" id="js_confirmFormBut">Готово</a> <div class="loading loading-cover" style="display: none;"><div class="loader"></div></div> <br> </div> </div> {#/template js_tmpl_auth_reg_action}