Язык:
Формат:
только полные версии  
Теорема о семантической недостижимости формальных систем
Математика, Философия

Теорема о семантической недостижимости формальных систем

Язык: русский
Год: 2026
Статус: Закончена
полная версия

В статье формально доказывается, что для любой формальной системы невозможно средствами самой этой системы обработать все возможные...
Банковские микропроцессорные карты
Другая компьютерная литература, Другие технические

Банковские микропроцессорные карты

Год: 2010

Книга дает читателю систематизированное представление о современных микропроцессорных картах, используемых в банковском деле. Она...