Rachunek predykatów sadowska: Witam, dzisiaj mamy dzień dziecka, zatem postanowiłam rozweselić was trochę kapitalnym żartem, który zwykł przed laty opowiadać mój profesor. Logika formalna to nie to samo co zwykła logika. Na jednym z wykładów tak powiada prof. Perzanowski: "Bowiem to co jest prawem węższego rachunku predykatów pozostaje prawem każdej innej teorii bogatszej. Nie jest sztuką przejść od teorii uboższej do teorii bogatszej, ale wiele zabiegów mnemotechnicznych wymaga przejść od teorii bogatszej do teorii uboższej. Najuboższą teorią jest węższy rachunek predykatów."

getin: ja nie zapomnę wykładu z prawdopodobieństwa Profesorka wyjaśniała nam schemat Bernoulliego na przykładzie grupy pacjentów, którym grozi zawał serca Powiedziała że jeśli pacjent będzie miał zawał − wtedy traktujemy to jako sukces Jeśli nie będzie miał zawału to porażka

Filip: smiech po pachy keeek