Компью́терный ви́рус — разновидность компьютерных программ, отличительной особенностью которых является способность к размножению
(саморепликация). В дополнение к этому вирусы могут без ведома
пользователя выполнять прочие произвольные действия, в том числе
наносящие вред пользователю и/или компьютеру. По этой причине вирусы
относят к вредоносным программам.
Неспециалисты ошибочно относят к компьютерным вирусам и другие виды вредоносных программ - программы-шпионы и даже спам.Известны десятки тысяч компьютерных вирусов, которые распространяются через Интернет по всему миру.
Создание и распространение вредоносных программ (в том числе вирусов) преследуется в России согласно Уголовному Кодексу РФ (глава 28, статья 273).
Согласно доктрине информационной безопасности РФ,
в России должен проводиться правовой ликбез в школах и вузах при
обучении информатике и компьютерной грамотности по вопросам защиты
информации в ЭВМ, борьбы с компьютерными вирусами, детскими порносайтами и обеспечению информационной безопасности в сетях ЭВМ. 
Происхождение термина
Компьютерный вирус был назван по аналогии с биологическими вирусами за сходный механизм распространения. По всей видимости, впервые слово «вирус» по отношению к программе было употреблено Грегори Бенфордом (Gregory Benford) в фантастическом рассказе «Человек в шрамах»[2], опубликованном в журнале Venture в мае 1970 года. Термин «компьютерный вирус» впоследствии не раз открывался и переоткрывался — так, переменная в программе PERVADE (1975),
от значения которой зависело, будет ли программа ANIMAL
распространяться по диску, называлась VIRUS. Также, вирусом назвал свои
программы Джо Деллинджер (англ. Joe Dellinger), и, вероятно, — это и был первый вирус, названный собственно «вирусом».
Формальное определение
Нет общепринятого формального определения вируса. В академической среде термин был употреблён Фредом Коэном в его работе «Эксперименты с компьютерными вирусами», где он сам приписывает авторство термина Лену Эдлмэну.
Формально вирус определён Фредом Коэном, со ссылкой на Машину Тьюринга, следующим образом:
M : (SM, IM, OM : SM x IM > IM, NM : SM x IM > SM, DM : SM x IM > d)
с заданным множеством состояний SM, множеством входных символов IM и отображений (OM, NM, DM), которая на основе своего текущего состояния s ∈ SM и входного символа i ∈ IM, считанного с полубесконечной ленты, определяет: выходной символ o ∈ IM для записи на ленту, следующее состояние машины s' ∈ SM и движения по ленте d ∈ {-1,0,1}.
Для данной машины M, последовательность символов v : vi ∈ IM может быть сочтена вирусом тогда и только тогда, когда обработка последовательности v в момент времени t, влечёт за собой то, что в один из следующих моментов времени t, последовательность v′ (не пересекающаяся с v) существует на ленте, и эта последовательность v′ была записана M в точке t′, лежащей между t и t″:
∀ CM ∀ t ∀ j:
SM(t) = SM0 ∧
PM(t) = j ∧
{ CM(t, j) … CM(t, j + |v| - 1)} = v ⇒
∃ v' ∃ j' ∃ t' ∃ t":
t < t" < t' ∧
{j' … j' +|v'|} ∩ {j … j + |v|} = ∅ ∧
{ CM(t', j') … CM(t', j' + |v'| - 1)} = v' ∧
PM(t") ∈ { j' … j' + |v'| - 1 }
где
- t ∈ N число базовых операций «перемещения», осуществлённых машиной
- PM ∈ N номер позиции на ленте машины в момент времени t
- SM0 начальное состояние машины
- CM(t, c) содержимое ячейки c в момент времени t
Данное определение было дано в контексте вирусного множества VS = (M, V) — пары состоящей из Машины Тьюринга M и множества последовательностей символов V: v, v' ∈ V.
Из данного определения следует, что понятие вируса неразрывно связано с
его интерпретацией в заданном контексте — окружении. Фредом Коэном было
показано, что: «любая самовоспроизводящаяся последовательность символов
одноэлементный VS, что существует бесконечное количество VS и не-VS,
для которых существуют машины, для которых все последовательности
символов является вирусом, и для которых ни одна из последовательностей
символов не является вирусом, и что любая конечная последовательность
символов является вирусом для какой-либо машины». Там же приведено
доказательство того, что в общем виде, вопрос о том, является ли данная
пара (M, X) : Xi ∈ IM вирусом, неразрешим
(то есть не существует алгоритма, который мог бы достоверно определить
все вирусы), теми же средствами, которыми доказывается неразрешимость проблемы остановки.Другие исследователи доказали, что существуют такие типы вирусов
(вирусы, содержащие копию программы, детектирующей вирусы), которые не
могут быть безошибочно определены ни одним алгоритмом.
| 
