You are a bit off on your answers, and one of the reasons is because you haven't delineated the scope of some of the quantified variables; as a result the reappearance of such a variable outside of the scope of its quantifier is then free.
Another more substantive problem is it seems you haven't grasped the general form for a universally quantified statement versus an existentially quantified statement.
For example: "All humans are mortal": This is a universally quantified statement. If we let $H(x)$ represent "x is a human," and let $M(x)$ represent "x is mortal", then what we are essentially saying, in loglish, is "For all x, IF x is human, THEN x is mortal". This translates, symbolically, to the following:
$$\forall x\,(H(x) \rightarrow M(x))\tag{1}$$
Compare the above to the following: suppose we had written:
$$\forall x\, (H(x) \land M(x))\tag{(2) incorrect}$$
What this incorrect translation says is: "For all x, x is human and x is mortal." This states that everything is human and everything is mortal, whereas what we want to say is something regarding all and only those things that are human.
With that in mind, try to rewrite your first statement accordingly.
On the other hand, the general form for an existentially quantified statement uses conjunction to assert "there exists something such that that something is P and that something is Q."
For example, suppose we want to translate: "Some student missed class today." Crudely, we can denote by $S(x)$: "x is a student." And we can denote by $M(x)$: "x missed class today." Then the symbolic translation amounts to:
$$\exists x\, (S(x) \land M(x)).$$
I'll deal with the second statement, in part to make explicit the scope of each quantified variable, and in part to correct the translation for the statement that includes both an existential and universal quantifier.
"There is an author who has not written a book".
$\iff$ "There exists an $a$ such that $a$ is an author AND, for all $b$, IF $b$ is a book, THEN it is NOT the case that book $b$ was written by author $a$."
A full symbolic translation, then, gives us:
$$\exists a \Big(a \in \text{ Author }\land \forall b(b\in \;\text{Book}\;\rightarrow \lnot \operatorname{by}(a, b))\Big)$$
Note that we want $\lnot$by$(a, b)$ since we are talking about book $b$ not being written by author $a$, per your definition.
Your answers all look okay. Specifically for part c), you did indeed translate the sentence into predicate logic correctly. However, often times it is customary to not leave any negation symbols before the quantifiers. We can pass the negation symbol through the existential/universal quantifier by swapping them. For example
$$
\neg\exists x\in X(P(x))\iff\forall x\in X(\neg P(x))
$$
and
$$
\neg\forall x\in X(P(x))\iff\exists x\in X(\neg P(x)).
$$
Can you see how you can use this to simplify your answer for part c)?
Also, I personally think the discrete math tag is okay for a question like this, especially since you also used the predicate logic tag.
Best Answer
There are several ways to formalise the given sentence; one is $$∀x \,\big(Sx → ∃p ∀q \,(Hqx ↔ q=p)\big).$$
Since you have defined $b$ as a constant (rather than a variable), it doesn't make sense to write “$∃b$”.
Part (b) is strictly easier than part (a), so use the structure of my suggested formalisation above to figure out this answer. Note that here we don't need “$∃p$” since we are referring to a specific object $b.$
This is actually equivalent to $∃x \,Cx,$ since $x$ and $y$ can point to the same object.
Hint: try $$∀x∃p\,\big(Cp\ldots\big).$$