Appunti teorici#1
Conversation
There was a problem hiding this comment.
Pull Request Overview
This PR introduces initial draft notes for the first chapters of a course on "Analisi statistica e verifica del software" (Statistical Analysis and Software Verification). It establishes a LaTeX documentation framework with custom styling and begins populating content covering software reliability fundamentals and mathematical background.
- Creation of a custom LaTeX style package (
unipr_org_notes.sty) with theorem environments and formatting - Initial course content covering software reliability introduction and mathematical background sections
- LaTeX build artifact exclusions via gitignore
Reviewed Changes
Copilot reviewed 5 out of 6 changed files in this pull request and generated 2 comments.
Show a summary per file
| File | Description |
|---|---|
| notes/tex/unipr_org_notes.sty | Defines custom LaTeX package with theorem environments, colors, and document styling for course notes |
| notes/tex/main.tex | Main document file that configures course metadata and includes lecture files |
| notes/tex/lectures/th_01.tex | First lecture covering software reliability, validation vs verification, and Rice's theorem |
| notes/tex/lectures/th_02.tex | Second lecture outline for mathematical background topics (section headers only) |
| notes/tex/.gitignore | Standard LaTeX build artifacts exclusion patterns |
Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
There was a problem hiding this comment.
Pull Request Overview
Copilot reviewed 5 out of 6 changed files in this pull request and generated 1 comment.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
simonecolli
requested review from
FrancescoBernini,
MrsSAS,
ariannacipolla,
bianchifilippo,
manueldiagostino,
merendamattia and
osryde
merendamattia
left a comment
merendamattia
left a comment
There was a problem hiding this comment.
Ci sono dei typo da sistemare, anche quelli segnalati da copilot
There was a problem hiding this comment.
Pull Request Overview
Copilot reviewed 5 out of 7 changed files in this pull request and generated 1 comment.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
…, 3, 4, 5, 6, 7, 8 e 11
…apitoli 2, 3, 6 e 7
simonecolli
requested review from
FrancescoBernini,
MrsSAS,
PasqualeCastelluccia,
ariannacipolla,
bianchifilippo and
Copilot
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 17 out of 75 changed files in this pull request and generated 1 comment.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 17 out of 75 changed files in this pull request and generated 3 comments.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| \subsubsection{Widening} | ||
|
|
||
| A differenza dei domini dei segni o dei valori costanti, il dominio degli | ||
| ntervalli ha ``altezza'' infinita. Considerando il ciclo: |
There was a problem hiding this comment.
There is a typo in this line: "ntervalli" should be "intervalli" (missing the initial "i").
|
|
||
| \begin{nota}{Approssimazione e esattezza}{approximation_exactness} | ||
|
|
||
| $lfp(F^\#)$ è una approssimazione soudn di $lfp(F)$ se: |
There was a problem hiding this comment.
There is a typo in this comment: "soudn" should be "sound".
| dove: | ||
| \begin{itemize} | ||
| \item $\alpha(c) \sqsubseteq_A a \implies c \sqsubseteq_C \gamma(a)$ assicura | ||
| la soundess |
There was a problem hiding this comment.
There is a typo in this comment: "soundess" should be "soundness".
No description provided.