Форум на Исходниках.RU

Форум на Исходниках.RU https://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3136528 Tue, 15 May 2012 07:06:49 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3136528 Math teacher Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3135708 Mon, 14 May 2012 02:35:39 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3135708 Figaro72 Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3135366 Sun, 13 May 2012 09:31:08 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3135366 Serafim Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3131626 Sun, 06 May 2012 14:17:02 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3131626 Цитата andriano @ 06.05.12, 08:28

По существующим (и, кстати, юридически подтвержденным) нормам, совпадение реализации - это плагиат. Без вариантов.

Более того, благодаря Болонскому процессу, если заниматься во время семестра, то экзамен получается автомат (или практически автомат). Лентяям ставить четвёрки и пятёрки я не собираюсь.]]> Math teacher Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3131492 Sun, 06 May 2012 08:28:40 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3131492 Цитата Mr. Gonarh @ 30.04.12, 18:58

Ммм, странный метод, возможна ситуация при которой два разных человека могут рещить задачу при помощи идентичного алгоритма ;)

Алгоритм - да, реализация - нет.
По существующим (и, кстати, юридически подтвержденным) нормам, совпадение реализации - это плагиат. Без вариантов.]]> andriano Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3130572 Fri, 04 May 2012 13:14:05 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3130572 Цитата Math teacher @ 03.05.12, 06:52

А вот за это спасибо, гляну!

Не уверен, что правилами форума приветствуются ссылки на файлобменники, но книжка легко ищется через гугль:
ссылка]]> grgdvo Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129741 Thu, 03 May 2012 06:52:09 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129741 Цитата grgdvo @ 02.05.12, 12:03

Оценить свои трудозатраты и время

Так я это всё студентам отдам на проработку ;)

Цитата grgdvo @ 02.05.12, 12:03

утопия, которая перестает работать при смене всех имен и идентификаторов, замены рекурсии циклом и т.п.

Согласен, что можно заменить цикл while на for и т.д. Но, откровнно говоря, такое делать мало кто будет, так как максимум на что способны "студенты" - это переменные переименовать.

Цитата grgdvo @ 02.05.12, 12:03

Если все это интересно, напишите, я попробую порыться в архивах и найти эл. вариант книжки по схематологии (Котов, Сабельфельд авторы). Но вообще-то все эта тема не один десяток хороших, добротных кандиадтских и докторских в области теоретической информатики.

А вот за это спасибо, гляну!]]> Math teacher Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129430 Wed, 02 May 2012 12:03:49 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129430
Суть схемы - шаблон класса.
Для схемы определяется интерпретация. С помощью интепретации схема превращается в кокретную программу.
Так вот, свойства справделивые для схемы, справделивы для всех ее вариантов интерпретации.
В схематологии выделяют:
а) функциональную эквивалентность двух схем (грубо две схемы эквиваленты, если они дают одинаковый результат... не помню на память уже точно).
б) логико-термальную (тоже уже склероз... но суть, если символьно интерпретировать все выражения, формулы и все прочее, то получаются некоторые наборы термов, которые худо-бедно можно сравнивать для всей схемы целиком или некоторой ее части).
В схематологии доказывается, что
а) невозможно доказать, что две схему функционально эквиваленты (примерно тоже, что по Тьюрингу нельзя сказать, что его машина остановится)
б) вроде можно показать (доказать) логико-термальную эквивалентость.

В вашем случае лабораторка видится схемой программы, с которой можно что-то делать. Ее интерпретацией - конкретная реализация студентом X. Остается программу превратить в схему, а потом доказать, что она каким-то образом эквивалента уже существуещей схеме (эталонной) в базе данных.

Дело за малым :)

Я бы посоветовал:
1. Если все это интересно, напишите, я попробую порыться в архивах и найти эл. вариант книжки по схематологии (Котов, Сабельфельд авторы). Но вообще-то все эта тема не один десяток хороших, добротных кандиадтских и докторских в области теоретической информатики.
2. Оценить свои трудозатраты и время. Задача ой какая нетривиальная. Все остальные костыли и прочие синтаксические разборы и похожести - утопия, которая перестает работать при смене всех имен и идентификаторов, замены рекурсии циклом и т.п.
3. 300 студентов, конечно, многовато! Но придумайте для них способ сдачи с объяснением на одну страничку в усной или письменной форме. Или перейдите на какую-то систему автоматического тестирования по заданной теме. Две минуты достаточно, чтобы понять, мямлит он или вызубрил объяснение или дейсвтительно все понимает. У меня студентов далеко не 300, но такое работает - хоть что-то запоминается в процессе сдачи.]]> grgdvo Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129171 Wed, 02 May 2012 06:46:44 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129171 Mr. Gonarh, если нет предложений по теме, то проходите мимо. Задачу решить

Цитата Mr. Gonarh @ 02.05.12, 03:34

примерно одинаково

можно, но:
1)Задачи у нас не совсем простые. Элементарная - это посчитать число пи методом монте карло. Реальная же задача будет занимать около 1000 строк кода.
2) Я не указываю язык программирования, как минимум в этом - уже отличиеж
3) В тех же плюсах можно использовать фишки от стл, а можно пиать велосипеды. Можно написать на плюсах процедурный код.

Именно поэтому, вероятность того, что вы описали - ничтожно мала, и такие случаи легко проверить вручную.]]> Math teacher Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129121 Wed, 02 May 2012 03:34:10 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129121 Цитата Math teacher @ 01.05.12, 21:18

Mr. Gonarh, Besha, очевидно что вы плохие студенты. Один алгоритм запрограммировать идентично не полуится, это факт.

Очевидно вы плохой тичер. Любая полная задача имеет ограниченное количество алгоритмов решения. Если вы тичер, вам ли этого не знать? Разница будет лишь в названиях переменных/функций. Если в одной группе достаточное количество учащихся, может такое быть, что двое решат задачу примерно одинаково]]> Gonarh Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129101 Tue, 01 May 2012 21:18:13 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3129101 Mr. Gonarh, Besha, очевидно что вы плохие студенты. Один алгоритм запрограммировать идентично не полуится, это факт. Пока что кроме МД5 добавил подсчёт различных грамматических структур в коде.]]> Math teacher Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128819 Tue, 01 May 2012 06:28:22 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128819 Gonarh Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128747 Mon, 30 Apr 2012 20:20:19 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128747
Добавлено 30.04.12, 20:20

Цитата Mr. Gonarh @ 30.04.12, 18:58

два разных человека могут рещить задачу при помощи идентичного алгоритма

:yes: и такое может быть]]> Besha Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128726 Mon, 30 Apr 2012 18:58:22 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128726
Добавлено 30.04.12, 19:00

Цитата Math teacher @ 30.04.12, 17:54

Поэтому надо придумать метод, как сравнивать исходники на подлинность.

Ммм, странный метод, возможна ситуация при которой два разных человека могут рещить задачу при помощи идентичного алгоритма ;)]]> Gonarh Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128718 Mon, 30 Apr 2012 18:41:34 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128718 Цитата Math teacher @ 30.04.12, 17:54

300 студентов, переглядеть по 12 лабораторок от каждого я физически не могу.

а вы и не проверяйте :crazy:]]> Besha Software Design https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128696 Mon, 30 Apr 2012 17:54:38 +0000 Подлинность программы https://forum.sources.ru/index.php?showtopic=356536&view=findpost&p=3128696
Задаю студентам лабораторки, ответы сверяю просто: запускаю программу, сравниваю результирующий файл с требуемым. Так же я создал базу MD5 хешей софтинок, чтобы умники не сдавали одинаковый софт много раз. Но сеть один момент: если поменять что то в программе, то и хеш меняется. Поэтому надо придумать метод, как сравнивать исходники на подлинность.

Сразу говорю, 300 студентов, переглядеть по 12 лабораторок от каждого я физически не могу.

С уважением.]]> Math teacher Software Design