January 25th, 2009

Машины Тьюринга

Большинство знакомых мне учебников по логике используют машины Тьюринга в качестве основного примера универсальной вычислительной машины. Как мне кажется, это абсолютно аналогично использованию исчисления высказываний и/или предикатов в стиле Гильберта (если кто не помнит, это те исчисления, где есть много аксиом и единственное правило вывода modus ponens (+ могут быть правила обобщения и перехода к частному случаю в исчислении предикатов).

Collapse )

Distributed Version Control

Для нового проекта решил наконец попробовать распределённую систему контроля версий. Выбирал между Mercurial и Git. Почитав статьи, предпочёл Mercurial, в основном из-за того, что сижу под Windows (я знаю, что есть MSysGit, но поддержка Windows -- вовсе не приоритет для Git). Раньше пользовался Subversion, поэтому сравнивать могу только с ним. Выводы такие:

Collapse )