Talk:Z notation

Talk

So you're saying that even in the USA, people speaking of the Z notation pronounce the name of the letter "Z" as if they were British? 131.183.81.100 20:17 Feb 10, 2003 (UTC)

That's the ticket. The name is Zed... it just happens to be spelled "Z" -- Elano

No people in the USA pronounce "zee", not "Zed", most, but not all Canadians say "Zed", "univeral??", whatever???

No idea what the valley girl above is trying to say, but I believe that the Z notation is pronounced "zed" in the US, yes. I was fortunate enough to be taught it by one of the people involved in its creation; I would regard being taught it at all as unfortunate - horrible language :-) —Preceding unsigned comment added by PeteVerdon (talk • contribs)

I'm not a fan of the notation myself :) . I think that with which the two anon users might have been taking issue would be the word "universal." I'm sure that not everyone calls it "Zed" notation... it's just that those who don't are mispronouncing it. Formally prnounced or something like that would perhaps be more accurate. WDavis1911 18:11, 16 October 2007 (UTC)

Examples and Major Constructs

How about some examples and descriptions of major construcs in Z. scope_creep (talk) 00:26, 22 April 2009 (UTC)

On my wish list too. The question is about this: now this fantastic Z notation, how is it applied upon source code, is it applied blockwise, so to prove that some conditions are guaranteed in the blocks, or does it something to prove that some specific conditions hold true during the whole execution, or does it prove dynamical things, like that loops terminate or not? Rursus dixit. (^mbork³!) 12:37, 5 May 2011 (UTC)

External links modified

Hello fellow Wikipedians,

I have just modified 2 external links on Z notation. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit User:Cyberpower678/FaQs#InternetArchiveBot*this simple FaQ for additional information. I made the following changes:

• Added archive http://web.archive.org/web/20130207042040/http://userpages.uni-koblenz.de:80/~winter/Lehre/SS01/ZEves/ZEves.html to http://userpages.uni-koblenz.de/~winter/Lehre/SS01/ZEves/ZEves.html
• Added archive http://web.archive.org/web/20060110033311/http://uebb.cs.tu-berlin.de:80/zeta/ to http://uebb.cs.tu-berlin.de/zeta/

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at Template:Tlx).

Cheers.—^{cyberbot II}_{Talk to my owner:Online} 09:03, 6 June 2016 (UTC)

"⨾" listed at Redirects for discussion

Information icon A discussion is taking place to address the redirect ⨾. The discussion will occur at Wikipedia:Redirects for discussion/Log/2020 June 24#⨾ until a consensus is reached, and readers of this page are welcome to contribute to the discussion. 1234qwer1234qwer4 (talk) 11:19, 24 June 2020 (UTC)

"⦇" listed at Redirects for discussion

Information icon A discussion is taking place to address the redirect ⦇. The discussion will occur at Wikipedia:Redirects for discussion/Log/2020 June 24#⦇ until a consensus is reached, and readers of this page are welcome to contribute to the discussion. 1234qwer1234qwer4 (talk) 11:26, 24 June 2020 (UTC)

"⋿" listed at Redirects for discussion

Information icon A discussion is taking place to address the redirect ⋿. The discussion will occur at Wikipedia:Redirects for discussion/Log/2020 June 24#⋿ until a consensus is reached, and readers of this page are welcome to contribute to the discussion. 1234qwer1234qwer4 (talk) 11:41, 24 June 2020 (UTC)

"⨡" listed at Redirects for discussion

Information icon A discussion is taking place to address the redirect ⨡. The discussion will occur at Wikipedia:Redirects for discussion/Log/2020 June 24#⨡ until a consensus is reached, and readers of this page are welcome to contribute to the discussion. 1234qwer1234qwer4 (talk) 11:46, 24 June 2020 (UTC)

"⨾" listed at Redirects for discussion

File:Information.svg A discussion is taking place to address the redirect ⨾. The discussion will occur at Wikipedia:Redirects for discussion/Log/2020 August 3#⨾ until a consensus is reached, and readers of this page are welcome to contribute to the discussion. 1234qwer1234qwer4 (talk) 15:15, 3 August 2020 (UTC)

Language

Why is the example in Spanish? NigelHorne (talk) 01:08, 21 June 2022 (UTC)

Great question. seems like it'd be clearer for English readers to have an English example 170.133.237.11 (talk) 17:08, 12 November 2023 (UTC)

"⦈" listed at Redirects for discussion

File:Information.svg The redirect ⦈ has been listed at redirects for discussion to determine whether its use and function meets the redirect guidelines. Readers of this page are welcome to comment on this redirect at Template:Slink until a consensus is reached. 1234qwer1234qwer4 18:06, 2 December 2023 (UTC)