'

Любовь - астролябия истины

ВХОД

РЕГИСТРАЦИЯ




ОБРАТНАЯ СВЯЗЬ

Профессиональный Союз . . .

. . . Программистов России

# Доказательство интерактивное (интерактивное доказательство) [interactive proof]  

#1 - Понятие теории сложности вычислений, составляющее основу понятия доказательства с разглашением нулевым. Доказательство интерактивное - доказательство путем выполнения протокола с двумя участниками, доказывающим и проверяющим, в процессе работы которых участники обмениваются сообщениями (запросы и ответы), обычно зависящими от случайных чисел, которые могут содержаться в секрете. Цель доказывающего — убедить проверяющего в истинности некоторого утверждения. Проверяющий либо принимает, либо отвергает доказательство. В отличие от обычного математического понятия доказательства в данном случае доказательство носит не абсолютный, а вероятностный характер. Криптографическое качество протокола доказательство интерактивное характеризуется свойствами полноты, корректности и нулевого разглашения.

Объявления

Дополнительное дистантное профессиональное обучение

ПСПР предлагает дополнительное дистантное профессиональное обучение по специальностям «промышленное программирование» и «архитектура программных средств». Обучение ведется на языке C, но это не суть. Для членов ПСПР со стажем более 1 года- бесплатно.

Предложения услуг по аттестации и оценки квалификации

ПСПР предлагает услуги по аттестации и оценки квалификации. Практика показывает, что так легче найти высокооплачиваемую работу, в том числе и за рубежом. Для членов ПСПР со стажем более 1 года- бесплатно.” 3.Заголовок: “Предложение по дополнительному дистантному профессиональному обучению” Текст:“ПСПР предлагает дополнительное дистантное профессиональное обучение по специальностям «промышленное программирование» и «архитектура программных средств». Обучение ведется на языке C, но это не суть. Для членов ПСПР со стажем более 1 года- бесплатно.”

Участие в комиссиях, обследованиях, аудиту, экспертизе и оценки стоимости программных разработок

Группа «НовТ» ПСПР предлагает услуги по участию в приемных комиссиях, экспресс обследования, аудиту, экспертизе и оценки стоимости программных разработок, включая разработки в области «Искусственного интеллекта»

Предложение работ и услуг от МастерПро

Предлагаем услуги и принимаем заказы на программистские работы широкого профиля. В активе: C/C++, Pascal, PHP, PERL, Ruby, MySQL, JavaScript, AJAX, XML, HTML. Консалтинг в области информационных технологий. Написание авторского кода и адаптация типовых решений (Joomla,Mambo,Drupal,Typo,Wordpress, популярных скриптов)

Рекомендация ПСПР имеется.

Требуется инженер или математик САУ (делаем настоящих роботов ! )

Компании СМП-сервис на постоянную работу требуется инженер или математик САУ.
Разработка математической модели системы управления движением колесного робота.
Работа в средах MS Robotics, Matlab Simulink, в Зеленограде (Москва), возможно частично удаленная. Заработная плата 30-50 т.рублей