Completely regular space that is not normal Problem 14 on p. 92 in Kolmogorov and Fomin Introductory real analysis defines a completely regular space by
Def. A $T_{1}$ space T is completely regular iff. given any closed set $F \subseteq T$ and any point $x_{0} \in T \setminus F$ there exists continuous real function $f$ such that $0 \leq f(x) \leq 1$ and $f(x) = 0$ if $x = x_{0}$ and $f(x) = 1$ if $x \in F$. 
The problem asks to show that every normal space is completely regular. I managed to do this by Urysohn's Lemma.
To show that complete regularity is heredetary. I managed to do this by using the complete regularity of the ambient space and then applying the restriction to the subspace to the Urysohn function in the ambient space.
The part of the problem which I am stuck on is to give an example of a completely regular space which is not normal.
 A: Here is an example (simpler than the one I mentioned in the comments) of a space which is completely regular but not normal. 
The Sorgenfrey line is the space $\Bbb R_\ell=(\Bbb R,\tau)$ where a basis for $\tau$ is given by $\{[a,b)\mid a,b\in\Bbb R\}$, this is a completely regular space (actually it is completely normal as well).
The Sorgenfrey plane is the space $\Bbb R_s=\Bbb R_\ell\times\Bbb R_\ell$ with the product topology, or in other words $\Bbb R^2$ where a basis of the topology is given by the half open squares. This space is still completely regular, as the product of two completely regular spaces is completely regular (easy exercise).
Note that the set $\Delta=\{(x,-x\}\mid x\in\Bbb R\}$ is an uncountable closed discrete subspace of $\Bbb R_s$ (draw a picture to convince yourself of this fact) and that this space is separable, since $\Bbb Q^2$ is a dense subset (every open set contains a Euclidean open set, so every open set intersects $\Bbb Q^2$). 
Now if $\Bbb R_s$ were normal, then we could use Tietze's extension theorem to show that there are at least $2^{2^{\aleph_0}}$ continuous functions $\Bbb R_s\to\Bbb R$, since every function $\Delta\to\Bbb R$ is continuous and there are $2^{2^{\aleph_0}}$ distinct such functions, all of which could be extended to a function $\Bbb R_s\to\Bbb R$.
But $\Bbb R_s$ is separable, so a continuous function is determined by its values on $\Bbb Q^2$ and there's only $2^{\aleph_0}$ functions $\Bbb Q^2\to\Bbb R$, contradicting the previous paragraph. Note that this argument really shows that a separable space with an uncountable closed discrete subset cannot be normal (so you can also use it to show that the Moore plane, another example of a space which is completely regular but not normal, is in fact not normal).
Let me finish by mentioning two useful resources for this kind of questions: $\pi$-base, an online database of topological spaces, searchable by properties, and the book "counterexamples in topology" by Steen and Seebach, where $\Bbb R_\ell$ and $\Bbb R_s$ are the spaces 51 and 84 respectively.
A: There are a few classical examples that are often used in text books:


*

*The Niemytszki plane (aka the Moore plane, in the US). Quite elementary. Preferred example of Engelking's book.

*The (deleted) Tychonoff plank (but this requires a little knowledge about ordinals).

*The Sorgenfrey plane, also quite elementary, preferred by Munkres' text, although he doesn't call it that.  

*A variant of 2.: $(\alpha(N) \times \alpha(D))\setminus \{(\infty_1,\infty_2)\}$ where $\alpha(N)=N \cup \{\infty_1\}$ is the one-point compactification of a countable and discrete set $N$ and $\alpha(D)=D \cup \{\infty_2\}$ is the one-point compactification of a discrete set $D$ of size $\aleph_1$ (or continuum, if you prefer). 

*The rational sequence topology on $\Bbb R$.

*Mrówka $\Psi$ space for a so-called mad family.
1,3,5 can use the Jones' lemma for the proof of being non-normal, which implies that a separable normal space cannot have a closed discrete subspace of size $|\Bbb R|$. 2,4 have more direct proofs of non-separated closed sets. 6. is not normal as it's pseudocompact but not countably compact.
Queries in $\pi$-base will give even more examples, like $\Bbb Z^{\omega_1}$ and $\omega_1 \times [0,1]^{[0,1]}$ etc.
