diff --git a/ep1.tex b/ep1.tex index ab55cf1..9680e83 100644 --- a/ep1.tex +++ b/ep1.tex @@ -28,7 +28,7 @@ \maketitle \begin{frame}{So far\ldots}{} \begin{itemize} - \item In the first season we created a super simple compiler + \item In the first season, we created a super simple compiler \item We learned about the basics of LLVM and MLIR \item We created a basic platform to develop a programming language, that includes: \begin{itemize} @@ -38,7 +38,7 @@ \item and few other bits and pieces \end{itemize} \item BUT we didn't come up with a specification for \href{https://serene-lang.org}{Serene} - \item We didn't design the language yet + \item We didn't design the language, yet \item That's what we're going to do in this series \end{itemize} \end{frame} @@ -47,7 +47,7 @@ \begin{itemize} \item Not all the programming langs have specification \item A spec or standard brings clarity for users and developers - \item We could've just implement an already exist spec like \href{http://www.r6rs.org/}{R6RS} (Scheme) + \item We could've just implemented an already exist spec like \href{http://www.r6rs.org/}{R6RS} (Scheme) \item Or just create a language based on our intuition (many languages have done this) \item Or design a standard from scratch \\ We can use about 100 years of Mathematics and Computer Science to our benefit @@ -56,9 +56,9 @@ \begin{frame}{Where to look?} \begin{itemize} - \item Based on the past experience we have some initial idea on where to look - \item Later on we will find out whether or not our initial ideas were good - \item For example + \item Based on the experience, we have some initial idea on where to look + \item Later on, we will find out whether our initial ideas were good + \item For example, \begin{itemize} \item I prefer functional programming \item Dynamic type systems @@ -77,14 +77,14 @@ \item Proof theory \end{itemize} \item They all describe the same world from different perspectives - \item Also, there are few papers that we need to look at, like the lisp paper + \item Furthermore, there are few papers that we need to look at, like the lisp paper \end{itemize} \end{frame} \begin{frame}{Required tools} \begin{itemize} - \item We need build up few mathematical skills - \item E.g We need to learn: + \item We need to build up few mathematical skills + \item E.g. We have to learn: \begin{itemize} \item Logic \item Set theory @@ -95,32 +95,32 @@ \begin{frame}{The Plan}{} \begin{itemize} - \item I like this series to be self contained as much as possible + \item I like this series to be self-contained as much as possible \item We're going to start from basics \item We will cover \begin{itemize} - \item What is mathematics? and why do we need it? + \item What is mathematics? And why do we need it? \item Mathematical thinking \item Discrete mathematics \item $\lambda$-calculus \item Type theory \item and the rest \end{itemize} - \item We will study the history of computer science an mathematics as well + \item We will study the history of computer science and mathematics as well. \item History is a great guide \end{itemize} \end{frame} \begin{frame}{Disclaimer}{} \begin{itemize} - \item I'm not a professional mathematician - \item I'm just sharing the result of my research and things that I learn. Take it with a grain of salt + \item I'm not a professional mathematician. + \item I'm just sharing the result of my research and things that I learn. Take it with a grain of salt. \item ``Nullius in verba'' \end{itemize} \end{frame} \begin{frame}{Contact}{} - Please shared your thoughts and ideas or researches and papers that you want me to have a look at via: + Please, share your thoughts and ideas or researches and papers that you want me to have a look at via: \begin{itemize} \item Comment section on \href{https://youtube.com/c/lxsameer}{youtube} \item \href{https://lxsameer.com}{https://lxsameer.com} diff --git a/ep2.tex b/ep2.tex index c8d4286..4ba9ba0 100644 --- a/ep2.tex +++ b/ep2.tex @@ -23,32 +23,35 @@ \title{Mathematics of Programming Languages} \setep{02}{What is Mathematics?} - \begin{document} \maketitle \begin{frame}{Why did I choose to make this?}{} \begin{itemize} - \item Originally I just wanted to start from logic + \item Originally, I just wanted to start from logic \item I read a tweet which made me think not everyone knows what math really is \item I started to ask around online and even on the street \begin{itemize} - \item To my surprise majority of people got it wrong too + \item To my surprise, the majority of people got it wrong too \item Even other engineers and scientists \end{itemize} \end{itemize} \end{frame} \begin{frame}{What was the tweet all about?}{} + \begin{figure} + \centering + \pic{ep2/tweet.png}{0.4} + \end{figure} \end{frame} -\begin{frame}{Why do we have to start frome here?}{} +\begin{frame}{Why do we have to start from here?}{} \begin{itemize} \item Understanding Mathematics helps us to think better \item To asking the right question - \item There's no consensus on the definition of mathematics but I'll give you mine - \item My goal is to get you think + \item There's no consensus on the definition of mathematics, but I'll give you mine + \item My goal is to get you to think \end{itemize} \end{frame} @@ -56,34 +59,43 @@ \begin{frame}{So, What is mathematics?}{} \begin{itemize} \item ``Mathematics is the language in which God has written the universe'' - \item To put it simply Mathematics is a language with specific set of properties - \item Usually a language enables us to express something - \item For example musical notation is language to express music + \item To put it simply, Mathematics is a language with a specific set of properties + \item Usually, a language enables us to express something + \item For example, musical notation is the language to express music \end{itemize} \end{frame} -\begin{frame}{Musical notation}{} +\begin{frame}{Language of Music}{} \centering - Any one who speaks the language of musical notations understands this sheet + Anyone who speaks the language of musical notations understands this sheet \begin{figure} \centering - \pic{ep2/music_score.png} + \pic{ep2/music_score.png}{0.65} + + Maths is the same, I can express my thoughts about something in terms of mathematics \end{figure} \end{frame} +\begin{frame}{Maths the Framework}{} + \begin{itemize} + \item One can produce nonsense in Maths as well + \item But maths provides a framework that eliminates nonsense, errors and ambiguity + \item Mathematics is a precise language + \end{itemize} +\end{frame} + \begin{frame}{Not just a language}{} \begin{itemize} - \item But it's not just a language, it's a language + reasoning, it's a tool for reasoning - \item It's big collection of some people careful thoughts - \item In form of provable statements + \item It's not just a language, it's a language + reasoning, it's a tool for reasoning + \item It's a big collection of some people's careful thoughts + \item In form of provable and precise statements \end{itemize} \end{frame} - \begin{frame}{So, What is mathematics?}{} \begin{itemize} - \item By Mathematics it is possible to connect one statement to others. + \item By Mathematics, it is possible to connect one statement to others. \item Mathematics is a way of going from one set of statements to another via reason. \item It's an interconnected web, how an idea in one field drives you to others \end{itemize} @@ -91,12 +103,13 @@ \end{frame} -\begin{frame}{What are those statement all about?}{} +\begin{frame}{What are those statements all about?}{} \begin{itemize} - \item Humans are pattern recognizing machines (We will talk about it more in the episode) + \item Humans are pattern recognizing machines. (We will talk about it more in the episode) \item Mathematics is all about generalizing those patterns via abstractions - \item Usually there are more than one way to describe the same thing - \item different between doing math and usign math + \item And study the relations between those abstractions + \item Usually, there are more than one way to describe the same thing + \item different between doing math and using math \begin{itemize} \item Mathematicians want to make their reasoning as general as possible \item But math users usually want special cases @@ -104,9 +117,11 @@ \end{itemize} \end{frame} +\begin{frame}{} +\end{frame} \begin{frame}{Contact}{} - Please shared your thoughts and ideas or researches and papers that you want me to have a look at via: + Please, share your thoughts and ideas or researches and papers that you want me to have a look at via: \begin{itemize} \item Comment section on \href{https://youtube.com/c/lxsameer}{youtube} \item \href{https://lxsameer.com}{https://lxsameer.com} diff --git a/ep2/tweet.png b/ep2/tweet.png new file mode 100644 index 0000000..4eb5e14 Binary files /dev/null and b/ep2/tweet.png differ diff --git a/lxpresent.cls b/lxpresent.cls index 685b5f4..7e050d6 100644 --- a/lxpresent.cls +++ b/lxpresent.cls @@ -112,5 +112,5 @@ \defbeamertemplate*{itemize subsubitem}{mysymbol}{\footnotesize\raise0.5pt\hbox{\mysymbol}} -\newcommand{\pic}[1]{ - \includegraphics[width=0.7\textwidth]{#1}} +\newcommand{\pic}[2]{ + \includegraphics[width=#2\textwidth]{#1}}