3 отношения: Непейвода, Николай Николаевич, Теорема, Удмуртский государственный университет.
Непейвода, Николай Николаевич
Никола́й Никола́евич Непейвода́ (род. 17 июня 1949, село Шелаево, Курская область) — советский и российский, учёный в области теоретической информатики и математической логики, доктор физико-математических наук, профессор, главный научный сотрудник Института программных систем РАН.
Новый!!: Единственность и Непейвода, Николай Николаевич · Узнать больше »
Теорема
Теоре́ма (θεώρημα «доказательство, вид; взгляд; представление, положение») — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.
Новый!!: Единственность и Теорема · Узнать больше »
Удмуртский государственный университет
Удмуртский государственный университет (УдГУ, бывший Удмуртский государственный педагогический институт) — высшее учебное заведение в Ижевске,.
Новый!!: Единственность и Удмуртский государственный университет · Узнать больше »