Tagged Questions
1
vote
2answers
152 views
Natural and formal languages
I'm going to have to take the course Logic for Computer Science at some point and everyone says both the book and the lectures are horrible.
I'm looking for a book that covers the course material in ...
3
votes
2answers
190 views
Different standards for writing down expressions in a formal way
What are standard ways to write mathematical expressions in a (semi)formal way ?
In different posts of mine concerning similar question I have encountered for a generic expression of the type "for all ...
0
votes
1answer
119 views
What exactly is “formal language theory”?
In studying combinatorics, I learn about "Formal Language Theory". So is there any interesting concrete application of this theory in mathematics, say for example combinatorics?
(I confess, I google ...
