Compare commits

...

2 Commits

Author SHA1 Message Date
fd9be86bde notatki 2026-03-10 16:27:53 +01:00
be6ca147f2 notatki 2026-03-10 13:44:03 +01:00
15 changed files with 251 additions and 2 deletions

View File

@@ -0,0 +1,4 @@
- Formą zdaniową nazywamy zdanie, które staje się zdaniem logicznym po zamianie niewiadomych na obiekty z określonej dziedziny.
- Kwantyfikatory
- Dowody twierdzeń
- Zaprzeczanie

View File

@@ -1 +1,2 @@
[[Wykład 1]]
[[2 wykład]]

View File

@@ -0,0 +1,76 @@
# będzie zadanie na kolokwium na rozkład geometryczny i Poissona
# zadanie 1
# rozkład dwumianowy
# a)
dbinom(2, 4, 1/3) # 0.2962963
# b)
pbinom(1, 4, 1/3) # 0.5925926
# c)
pbinom(2, 4, 1/3, F) # 0.1111111
# zadanie 2
# a)
dgeom(3, 0.02) # 0.01882384
# b)
pgeom(2, 0.02) # 0.058808
# zadanie 3
# a)
dbinom(2, 100, 0.01) # 0.1848648
dpois(2, 100 * 0.01) # 0.1839397
# b)
pbinom(6, 100, 0.01) - pbinom(1, 100, 0.01) # 0.2641669
sum(dbinom(2:6, 100, 0.01)) # 0.2641669
# obie metody są poprawne!
sum(dpois(2:6, 100 * 0.01)) # 0.2641579
# c)
pbinom(3, 100, 0.01, F) # 0.01837404
ppois(3, 100 * 0.01, F) # 0.01898816
# zadanie 4
# a)
dbinom(2, 4, 1/7) # 0.08996252
# b
dbinom(3, 5, 1/2) # 0.3125
dbinom(2, 3, 1/2) # 0.375
# zadanie 5
pbinom(3, 525, 0.004, F) # 0.1610156
#zad6
dbinom(3,10,1/2)
#b
sum(dbinom(4:7,10,1/2))
# zadanie 7
# a)
dgeom(7, 1/6) # 0.04651361
# b)
pgeom(4, 1/6, F) # 0.08037551
# zadanie 8
pbinom(3, 400, 0.005, F) # 0.1424233
# zadanie 9
# zadanie 10
# a)
dgeom(4,4/36) # 0.06936612
# b)
pgeom(3, 4/36, F) # 0.6242951

View File

@@ -0,0 +1,5 @@
int a = 10; // 10
double b = a; // 10
int c = 3.8; // 3
bool d = c; // true
char e = 'K'; // K

View File

@@ -0,0 +1,9 @@
#include <iostream>
int main() {
std::cout << 5 / 2 << '\n'; // 2
std::cout << 5 / 2.0 << '\n'; // 2.5
int x = 7;
double y = 2;
std::cout << x / y << '\n'; // 3
}

View File

@@ -0,0 +1,6 @@
int main() {
int a{5};
double b{5};
// int c{3.14}; nie skompiluje się przez niepoprawny typ danych rzutowany
int d = 3.14;
}

View File

@@ -0,0 +1,9 @@
bool czyParzysta(int n);
int poleProstokata(int a, int b);
double srednia(int a, int b, int c);
bool czyParzysta(int n) { return n % 2 == 0; }
int poleProstokata(int a, int b) { return a * b; }
double srednia(int a, int b, int c) { return (double)(a + b + c) / 3; }

View File

@@ -0,0 +1,15 @@
#include <iostream>
using namespace std;
void podwoj1(int x) { x *= 2; }
void podwoj2(int &x) { x *= 2; }
int main() {
int a = 5;
cout << a << endl;
podwoj1(a); // nie zmieni wartości poza funkcją
cout << "a po podwojeniu kopią: " << a << endl;
podwoj2(a); // zmieni wartość poza funkcją
cout << "a po podwojeniu referencją: " << a << endl;
}

View File

@@ -0,0 +1,17 @@
#include <iostream>
using namespace std;
void rysujLinie(char znak = '*', int ile = 5) {
for (int i = 0; i < ile; i++) {
cout << znak;
}
}
int main() {
cout << "bez argumentów:" << endl;
rysujLinie();
cout << endl << "z jednym argumentem: " << endl;
rysujLinie('-');
cout << endl << "z dwoma argumentami: " << endl;
rysujLinie('+', 10);
}

View File

@@ -0,0 +1,8 @@
// pole kwadratu
int pole(int a) { return a * a; }
// pole prostokąta
int pole(int a, int b = 1) { return a * b; }
// kod jest problematyczny, ponieważ nazwy funkcji są niejasne: użytkownik nie ma
// łatwego sposobu, by zrozumieć co, która funkcja robi.

View File

@@ -0,0 +1,14 @@
#include <iostream>
using namespace std;
double srednia(int a, int b, int c) { return (double)(a + b + c) / 3; }
void wyzeruj(int &x) { x = 0; }
int main() {
cout << "Średnia 2,2,3 to: " << srednia(2,2 , 3) << endl;
int a = 6;
cout << "a = " << a << endl;
cout << "zerujemy" << endl;
wyzeruj(a);
cout << "a = " << a << endl;
}

View File

@@ -0,0 +1,30 @@
#include <iostream>
using namespace std;
double srednia(int a, int b, int c) { return (double)(a + b + c) / 3; }
double srednia(int a, int b) { return (double)(a + b) / 2; }
double srednia(int a, int b, int c, int d) {
return (double)(a + b + c + d) / 4;
}
bool czyZaliczyl(double wynik, double prog = 3.0) { return wynik >= prog; }
int main() {
int a, b, c;
cout << "Podaj a: ";
cin >> a;
cout << "Podaj b: ";
cin >> b;
cout << "Podaj c: ";
cin >> c;
double avg = srednia(a, b, c);
cout << "Twoja średnia wynosi: " << avg << endl;
if (czyZaliczyl(avg)) {
cout << "Zaliczyłeś, brawo!" << endl;
} else {
cout << "Nie zaliczyłeś :(" << endl;
}
}

View File

@@ -0,0 +1,33 @@
#imie = input("Jak masz na imie: ")
#print("Witaj, ", imie)
#
#kierunek = str(input("Podaj kierunek studiów: "))
#rok = int(input("Podaj rok studiów: "))
#srednia = float(input("Podaj średnią swoją: "))
#print(f"Kierunek: {kierunek}\nRok studiów: {rok}\nŚrednia: {srednia}")
#
#adres = str(input("Podaj adres zamieszkania: "))
#kod_pocztowy = str(input("Podaj kod pocztowy: "))
#miasto = str(input("Podaj miasto: "))
#print(adres, kod_pocztowy, miasto, sep=",")
#
wzrost = int(input("Podaj swój wzrost: "))
waga = int(input("Podaj swoją wagę: "))
wzrost_m = float(wzrost / 100)
waga_kg = float(waga / 1000)
bmi = waga_kg/(wzrost_m**2)
print(f"Wzrost: {wzrost_m}m\nWaga: {waga_kg}kg\nBmi wynosi: {bmi}")
liczba: bool = int(input("Podaj liczbę: ")) > 10
inna_liczba = int(input("Podaj inną liczbę: "))
pierwszy_warunek_innej_liczby = 10 < inna_liczba < 20
drugi_warunek_innej_liczby = inna_liczba < 0 or inna_liczba > 20
# to jest komentarz
"""
komentarz wieloniowy
"""

View File

@@ -0,0 +1,15 @@
Kod greja niezależnie od ilości argumentów można uszeregować (cokolwiek miałoby to znaczyć)
Dwumiarowa tablica prawdy — siatka Karnaugh (tabela/mapa)
*jak można zarabiać na mówieniu i mówić w tak nudny sposób????*
Numeracja w siatce Karanaugh jest istotna i zawsze stała!
| c\ba | 00 | 01 | 11 | 10 |
| ---- | ------ | ------ | ------ | ---------- |
| 0 | $_{0}$ | $_{1}$ | $_{2}$ | $_{3}$ |
| 1 | $_{4}$ | $_{5}$ | $_{6}$ | $_{7}$<br> |
Liczba kratek w grupie musi być równa potędze liczby 2.
o co tutaj chodzi

View File

@@ -1 +1,8 @@
[[Algebra boola]]
Kanoniczna forma sumacyjna: oczekujemy postaci sumy mintermów.
Postać standardowa funkcji boolowskiej może być sumacyjna lub iloczynowa, mogą występować termy o różnej liczbie literałów (czyli niekoniecznie max/mintermy).
[[Minimalizacja funkcji logicznych]]