出典:Wikipedia
出典:『Wikipedia』 (2011/02/28 17:24 UTC 版)
In domain theory, a branch of mathematics and computer science, a Scott information system is a primitive kind of logical deductive system often used as an alternative way of presenting Scott domains.