книги Наука, техника, медицина Гуманитарные науки Философия Общая философия Основы философии

Алгоритмическая разрешимость

Код 3511815

  • ISBN: 978-5-5097-4780-9

Нет в продаже

Аннотация к книге "Алгоритмическая разрешимость"

High Quality Content by WIKIPEDIA articles! В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем, важнейшим случаем более общей проблемы разрешимости.

Оставить комментарий

Оцените книгу:

ISBN: 978-5-5097-4780-9

Книга находится в категориях

Математика Радиоэлектроника

Вместе с этой книгой покупают

Просмотренные товары