Computability

Computability
артикул: 2617252
$106.88
Доставка из: Объединенные Арабские Эмираты
   Описание
Computability By Tourlakis, George Published by Springer Publication Date: 2023-08-03 Subject: Computers Computer Science, Computers Computer Science, Mathematics Logic, Mathematics Logic, Philosophy Reference, Science Philosophy & Social Aspects, Science Philosophy & Social Aspects, Technology & Engineering General, Technology & Engineering General, Mathematical Logic, Mathematical Theory Of Computation, Mathematical Theory Of Computation,Mathematical Logic,Philosophy,Technology: General Issues, Philosophy, Technology: General Issues, Mathematical Theory Of Computation, Mathematical Logic Subject Keywords: recursive functions; formal definability; recursion theorem; diagonalisation; strong reducibility; loop programs; Kleene predicate; Turing reducibility; Register machine; Goedel incompleteness; Rosser incompleteness; Ackermann function; (Unbounded) Register Machine (URM); Church’s thesis; Tarski’s theorem Genre: Mathematical Theory Of Computation, Mathematical Logic Target Audience: Professional and scholarly
   График изменения цены & курс обмена валют

Пользователи также просматривали