Câu hỏi được gắn thẻ «metric-spaces»

Định lý điểm cố định của Banach nói rằng nếu chúng ta có một không gian số liệu hoàn chỉnh không trống , thì bất kỳ hàm hợp đồng thống nhất nào nó có một điểm cố định duy nhất . Tuy nhiên, bằng chứng của định lý này đòi …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Cho một tập hợp các siêu phẳng được xác định bởi các vectơ bình thường , các loại tế bào của nó (hoặc vectơ ký hiệu) đều là các vectơ t ∈ { + , - } m mà tồn tại một vectơ v ∈ R d để ⟨ v …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Trong bài viết hội thảo năm 1999 "Mô hình số liệu của PCF" , Martín Escardó đã chỉ ra rằng có thể đưa ra một cách giải thích đơn giản về PCF trong danh mục không gian siêu ma trận hoàn chỉnh và bản đồ không có bản đồ. Ông …

11 pl.programming-languages  denotational-semantics  metric-spaces