church

Church may refer to:

• Religion
  • Church (building), a building for Christian religious activities
  • Church (congregation [会众]), a local congregation of a Christian denomination [宗教派别]
  • Christian denomination, a Christian organization with distinct doctrine and practice
  • Christian Church, body of Christians, taken as a whole
  • Church service, a formalized period of Christian communal [shared] worship
• Places
  • Church, Lancashire, England
  • Church Lake, a lake in Minnesota
• Other uses
  • Church (programming language), a LISP-like probabilistic programming language
  • Church (surname), including a list of people

A church building, church house, or simply church, is a building used for Christian worship services and other Christian religious activities. The term is used to refer to the physical buildings where Christians worship and also to refer to the community of Christians. Sometimes it is used as an analogy for the buildings of other religions.

In traditional Christian architecture the plan view of a church often forms a Christian cross; the center aisle and seating representing the vertical beam with the bema and altar forming the horizontal. Bema /'biːmə/ is the usually raised part of an Eastern church containing the altar. Towers or domes may inspire contemplation [quiet, serious thinking about sth] of the heavens [the sky]. Modern churches have a variety of architectural styles and layouts. Some buildings designed for other purposes have been converted to churches, while many original church buildings have been put to other uses.

Church is a universal language for describing stochastic generative processes. Church is based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic subset. Stochastic /stəˈkæstik/ is the random occurrence of a given event. It is a statistical term that refers to situations that can't be expected or predicted. The lambda calculus [λ演算] can be thought of as the theoretical foundation of functional programming.

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics.

;; Church programming examples presented in the Church tutorial by
;; Tomer Ullman in the Brains, Minds, and Machines summer course
;; 3.1 A basic random primitive, the coin-flip
(display (flip))
(define (flip-biased-coin) (flip 0.7))
;; Take a biased coin, flip it 100 times, count the number of 'heads' [硬币有头像的一面。另一面叫tail]
(define (coin-flip-experiment) (sum (map (lambda (x) (if x 1 0)) (repeat 100 flip-biased-coin))))

六级/考研单词: secular, congregate, doctrine, worship, surname, physics, analogy, seldom, aisle, vertical, beam, horizon, dome, inspire, contemplate, layout, convert, random, situate, tutor, primitive, flip, bias

标签：Christian,church,flip,Church,coin,worship
来源： https://www.cnblogs.com/funwithwords/p/16364773.html