MHB 8 Queens Problem (For people who want a try, not homework$)

Thread starter IHateFactorial
Start date Feb 14, 2016
Tags

Homework

Feb 14, 2016

IHateFactorial

Imagine an 8x8 chess board. In how many ways can 8 queens be placed on the board such that no queen can "eat" any other queen.

Physics news on Phys.org

Feb 15, 2016

Ackbach

Gold Member

MHB

You might find http://mathhelpboards.com/potw-university-students-34/problem-week-167-june-9-2015-a-15548.html?highlight=queen relevant.

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

View full post »

Thread 'Onto set mapping is the surjective set mapping, and into injective?'

The textbook is being fine. I asked the forum for some introduction to topology, and decided to start with Simmon`s. This naive question is due to ignorance of the words into and onto, which I don't distinguish in Spanish. A quick browsing sugests I'm right.

View full post »