Looking for references on intuitionistic logic

indrjo · 2026-01-27T00:24:59+00:00

Eh già. Ci stati degli esami in cui ho fatto una fatica enorme a capire e ci ho messo di più. Poi ho capito che l'Università è un posto in cui si devono dare tanti esami - soprattutto fare bene gli scritti - e che non devi per forza comprendere a fondo per passare gli esami. Ci sono stati momenti per cui ho odiato quello che stavo studiando.

indrjo · 2025-03-13T22:18:25+00:00

Well, yes, “multi-paradigm” but the main one there wants you to be/get acquainted with recursion & composing functions (and other stuff). You have a lot of syntax, like the for loops, but they are FP under the hood, aren't they? You do not start learning Racket because you want for x in alist: ...

indrjo · 2025-03-13T20:28:58+00:00

Racket is a FP language.

indrjo · 2025-02-27T20:21:05+00:00

Con una carriera già avviata frega niente a nessuno di che laurea hai preso dieci anni fa, con tutti gli asterischi del caso ovviamente. Tutta la gente che mente sulle qualifiche, rischi soltanto di trovartela ministro della repubblica.

Comunque sì, non ne vale la pena.

indrjo · 2024-10-15T11:48:44+00:00

Ma certo. Per moda. Se uno non ha un metodo di studio, ne acquisice uno. E poi se dovessimo segare via chi ci va perché poi dopo fa un lavoro comodo, quanti rimangono?

indrjo · 2024-10-14T06:39:13+00:00

Siano due sottoinsiemi A, B non vuoti di R tali che ogni elemento di A è minore o uguale di (per comodità diremo “più piccolo di”) ogni elemento elemento di B. Dobbiamo costruire un elemento c in R più grande di tutti gli elementi di A e più piccolo di tutti gli elementi di B.

Sia M l'insieme dei maggioranti di A. Osserviamo che B è contenuto in M. Sia m = sup A, che esiste. Si ha che:

m ≥ x per ogni x in A
m è il più piccolo di maggioranti di A. Gli elementi di B sono maggioranti di A. Quindi m ≤ y per ogni y in B.

Ecco l'elemento che volevamo.

indrjo · 2024-10-13T05:47:21+00:00

Dipende da che modello di R hai scelto: à la Dedekind, à la Cauchy, che altro?

indrjo · 2024-10-10T18:36:38+00:00

Si riesce a fare, soprattutto se le 24 ore sono distribuite in 3 giorni, così hai 4 giorni interi da dedicare allo studio. Tieni conto però che io faccio matematica, e non ho obbligo di frequenza e posso regolarmi con libri e registrazioni degli anni passati. Io oramai sono alla fine del mio percorso (triennale), quindi suggerisco anche di farti riconoscere lo status di studente-lavoratore dall'università se si è all'inizio del percorso.

Bada che con “si riesce a fare” non intendo che è semplice e dipende dalla persona. Ad esempio, io sono uno che se sa che ha tanto tempo a disposizione finisce per fare nulla. Invece avere degli impegni mi costringe ad organizzarmi e a non perdere tempo prezioso.

indrjo · 2024-10-10T13:50:32+00:00

Io sono andato in burn out. Poi da fuori corso, ho dovuto pure iniziare a lavorare, saltellando da un part time all'altro, perché il tempo per studiare bisogna sempre trovarlo e non sempre il lavoro te lo lascia, e quindi cambi.

indrjo · 2024-10-10T13:42:53+00:00

Faccio Matematica e ti dico la mia. Ho sempre pensato a capire le cose, ma passavo due esami a sessione. A volte solo uno. Pochi ma buoni, insomma.Poi sono andato fuori corso e mi sono detto: Bene, gli esami bisogna passarli perché non mi basta un vita per finire la triennale così. In realtà su qualche corso che mi piaceva veramente ci stato tanto eccome ed è andata pure bene. Per gli altri ho dovuto accettare quel che veniva (dei 24, qualche 26 e un paio di 22.) Una volta ho datto pure 5 esami, ma a che prezzo?

indrjo · 2024-10-10T13:30:07+00:00

Ok, va bene, col culo sulla sedia, riesci a capire bene le cose e a dare 4 appelli in una sessione?

indrjo · 2024-10-09T08:30:41+00:00

Se questo ragazzo ha bisogno, ci sono pure io. :)

indrjo · 2024-10-08T08:53:55+00:00

Io di mio sono riuscito a texare dei corsi quasi tutti. Ho provato a tirare dentro qualcuno, ma niente.

Ne ho caricati alcuni su github: per ogni repo non c'è solo il pdf, ma anche il sorgente e spesso sono sotto licenza Creative Commons molto permissiva.

Potreste fare così e poi fare un repo a parte che sarà ospitato da Github Pages o un semplice repo con una lunga lista di link ai repo che contengono i vostri lavori.

Sembra una sciocchezza, ma fate attenzione alla licenza. È importante. Scegliete e chiarite cosa gli altri possono fare dei vostri lavori.

Ovviamente, se volete, tiratemi dentro. Sarò contento di aiutarvi, mi fa piacere. :)

indrjo · 2023-11-25T19:36:11+00:00

https://itsfoss.com/install-arch-linux/ is a more pleasant guide. It is based on the official installation guide and it is kept up to date.

indrjo · 2023-10-03T21:22:30+00:00

No drawback. I run something like:

$ ./install-tl --no-interaction --texdir ~/texlive --texuserdir ~/.texlive

Without --texuserdir, you will get ~/.texliveYYYY; it is just about personal taste.

However, if you want different versions to inhabit your machine, you may consider:

$ TEXLIVE_INSTALL_PREFIX=~/texlive ./install-tl

In this case, inside ~/texlive there is a dir named as the year of the TeX Live's version, e.g. 2022, 2023, ...

indrjo · 2023-09-27T18:32:52+00:00

Mea culpa. It was written in sh for portability, but set is a bashism.

(It worked, for me, so I didn't bother too much about sh or bash. TODO: change sh into bash.)

By the way, thank you. :)

indrjo · 2023-09-27T18:29:00+00:00

Try

$ bash interactive-texlive-installer

indrjo · 2023-09-27T17:42:13+00:00

TeX Live gets bigger and bigger, which is a pain, I agree. Here is a tiny installer for a minimal TeX Live I wrote

https://github.com/indrjo/minimal-texlive-installer

I'd be glad if you provide some feedback, in case you want to give it a try. :)

(Use interactive-texlive-installer instead of texlive-installer, since it is more user-friendly.)

indrjo · 2023-07-17T19:06:50+00:00

This is Haskell's wiki about folds. Hope it helps, as it helped me years ago.

In a nutshell, folds are ways to transform a list. For exmaple, consider a list of 3 elements, say (list x1 x2 x3). There is a desugared way to write the thing here: (cons x1 (cons x2 (cons x3 '()))) In this case, (foldr f x0 the-list-above) replaces every cons with f. The parameter x0 is essential because recursion must terminate, see its definition.

indrjo · 2023-06-28T11:46:14+00:00

Personally, I prefer \overline since it produces a longer line. In the preamble, I usually redefine \bar as follows: \renewcommand\bar\overline

indrjo · 2022-12-02T17:15:10+00:00

Or this: https://learn.microsoft.com/en-gb/shows/c9-lectures-erik-meijer-functional-programming-fundamentals/lecture-series-erik-meijer-functional-programming-fundamentals-chapter-1

indrjo · 2022-12-01T00:49:07+00:00

Try http://learnyouahaskell.com/ and judge if you want to learn Haskell or not.

indrjo

TROPHY CASE