בלוגיקה המתמטית אנו חוקרים את השפה של המתמטיקה ואת הקשר שלה עם העצמים המתמטיים. השפה שנדון בה כאן היא שפה מתמטית פורמלית, המכילה אותיות לטיניות, סימני פיסוק וסימנים מתמטיים בלבד. עם זאת, נביא גם דוגמאות מן השפה היומיומית הרגילה. ספר זה בנוי בשני חלקים. חלקו הראשון מעלה נושאים כגון תחשיב הפסוקים, תחביר, הסמנטיקה של תחשיב הפסוקים, תורת הקשרים הפסוקיים, עצים ועצי אמת ומשפט הקומפקטיות, תורת ההיסק ועוד. בחלקו השני עולים נושאים כדוגמת הגדרות בסיסיות של התחביר והסמנטיקה, היחסים הסמנטיים הבסיסיים, הצבה למשתנים אישיים חופשיים, החלפת משתנים מכומתים, הסמנטיקה של התחשיב מסדר ראשון, תורת ההיסק בתחשיב מסדר ראשון ועוד.

חוברת זו מבוססת על הרצאותיו של פרופ' נתי ליניאל שניתנו באוניברסיטה העברית במסגרת הקורס "מתמטיקה דיסקרטית". מבין הפרקים המובאים בספר: מושגים בסיסיים מתורת הקבוצות, כללי מניה בסיסיים, עקרון שובך היונים, עקרון ההכלה וההדחה ועוד.

החוברת מבוא להסתברות מיועדת לסטודנטים למדעי החברה והרוח. הנושאים שנלמדים בחוברת הינם: הסתברות וקומבינטוריקה, פונקציות, התפלגויות ומשתנים מקריים. בחוברת זו מוצג אוסף תרגילים שמטרתו הכשרת התלמידים להמשך לימודם של נושאים סטטיסטיים נוספים.

חוברת זו כוללת את עיקר החומר הנלמד בהרצאת המבוא לאנליזה מודרנית הניתנת במכון למתמטיקה. הידיעות המוקדמות הנדרשות הן חומר הלימודים הרגיל של שנה א' (חשבון אינפיניטסימלי, אלגברה ליניארית וידיעה מינימלית של תורת הקבוצות.)

ספר זה מבוסס על רשימות מהרצאותיו של פרופ' ש' אגמון ב"אנליזה קלאסית", שניתנו בפקולטה למתמטיקה-פיסיקה באוניברסיטה העברית. הספר מחולק לשלושה חלקים עיקריים: השלמות לחשבון אינפיניטסימלי – פונקציות של משתנים רבים. תורת הפונקציות המורכבות. משוואות דיפרנציאליות רגילות. מטרתו של הספר לסייע לתלמיד לעקוב אחר ההרצאה, אשר עליה היא מבוססת. בראותנו מטרה זו לנגד עיננו, לא היססנו לפרט ולהאריך בשיקולים ובחישובים מופיעים בהוכחות לטענות השונות, ופעמים כאשר הניסוח הפורמלי עלול היה להקשות על הקורא, העדפנו ניסוח אינטואיטיבי של הטענות וההוכחות על פני ניסוח פורמלי, כל עוד לא נפגע מכך הדיוק המתמטי. בספר זה מצויים מספר תרגילים אשר בהם נדרש הקורא להצדיק שיקולים שעליהם מסתמכים בהוכחת טענה קודמת, או לתת ניסוח פורמלי של הוכחה לטענה אשר רק סקירתה מצויה בספר. תרגילים אלו מהווים חלק בלתי נפרד של הטענות וההוכחות שאליהם הם צמודים.

המשך ל חשבון אינפיניטסימלי מתקדם - חלק א' . ספר זה מבוסס של הרצאותיו של פרופ' יורם לינדנשטראוס. היא מיועדת לסטודנטים שנה ב' אשר לומדים את הקורס "חשבון אינפיניטסימלי מתקדם" במכון למתמטיקה. ההנחה היא שתלמידים המגיעים לקורס זה כבר למדו את תורת הגבולות, טורים אינסופיים (של מספרים), חשבון דיפרנציאלי של פונקציות של משתנה אחד, אינטגרל רימן משתנה אחד (כולל אינטגרלים לא אמיתיים) וכן עובדות יסודיות של פונקציות בכמה משתנים כולל נגזרות חלקיות. הספר מאד מקיף ומקיף גם חומר שלא נלמד תמיד בקורס, דבר שנותן הזדמנות נוחה לתלמידים המתעניינים בלמידה עצמית. בסוף כל פרק מופיעים תרגילים.

ספר זה מבוסס של הרצאותיו של פרופ' יורם לינדנשטראוס. היא מיועדת לסטודנטים שנה ב' אשר לומדים את הקורס "חשבון אינפיניטסימלי מתקדם" במכון למתמטיקה. ההנחה היא שתלמידים המגיעים לקורס זה כבר למדו את תורת הגבולות, טורים אינסופיים (של מספרים), חשבון דיפרנציאלי של פונקציות של משתנה אחד, אינטגרל רימן משתנה אחד (כולל אינטגרלים לא אמיתיים) וכן עובדות יסודיות של פונקציות בכמה משתנים כולל נגזרות חלקיות. הספר מאד מקיף ומקיף גם חומר שלא נלמד תמיד בקורס, דבר שנותן הזדמנות נוחה לתלמידים המתעניינים בלמידה עצמית. בסוף כל פרק מופיעים תרגילים. לספר זה יש המשך (חלק ב') שנמכר בנפרד.

הנושאים בספר: אינטרפולציה קרובים אינטגרציה נומרית משוואות לא-לינאריות מציאת שורשים של פולינומים ועוד

חוברת זו מבוססת על הרצאותיהם של פרופ' ש. עמיצור ופרופ' מ. משלר, אשר ניתנו באוניברסיטה העברית בירושלים בשנת תשכ"ט. החוברת מתאימה למסלול הרגיל והמואץ כאחד. הנושאים בספר: אלגברה לינארית (שדות, וקטורים במרחב התלת-מימדי, משוואות לינאריות מעל שדה, דטרמיננטות ועוד), חבורות וחוגים, אלגברה לינארית ב' (הפולניום האופייני והפולניום המינימלי של מטריצה, מרחבי מכפלה פנימית ועוד).

ספר זה נערך לפי הרצאותיה של ד"ר א'. סמואל באוניברסיטה העברית. הספר מחולק לשני חלקים: השלמות מתורות ההסתברות הסקה סטטיסטית בחלק הראשון אנו מביאים את המושגים היסודיים של תורת ההסתברות כמשתנים מקריים, פונקציות התפלגות ומומנטים. בחלק השני דנו בבעיות אמידה, בדיקת השערות, רווחים ברי-סמך ומודלים ליניאריים. בסוף כל חלק הבאנו אוסף תרגילים המסודרים לפי הפרקים באותו חלק.