City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
Computer Science Club

Вычислимость и выразимость в арифметике
Foundations of computability and complexity theory

What: Lecture
When: Wednesday, 10 October 2012, 18:30–19:50
Where: ПОМИ РАН

Description

Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.

Computer Science Club, 2007–24 гг.