Matematyka ma wiele symboli. Niektórzy mogą powiedzieć zbyt wiele symboli. Zróbmy więc matematykę ze zdjęciami. Zróbmy papier, z którego będziemy czerpać. Aby rozpocząć papier jest pusty, powiemy, że jest to odpowiednik lub .prawda⊤⊤\toptruetrue\textit{true} Jeśli napiszemy na papierze inne...
Korzystanie z dziesięciu wniosków Systemu Naturalnego Odliczenia dowodzi praw DeMorgan . Zasady odliczenia naturalnego Wprowadzenie do negacji: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminacja negacji: {(¬P → Q), (¬P → ¬Q)} ⊢ P I wprowadzenie: {P, Q} ⊢ P ʌ Q I eliminacja: P ʌ Q ⊢ {P, Q} Lub Wprowadzenie: P ⊢...
Biorąc pod uwagę dodatni poziom zagnieżdżenia liczb całkowitych ni ciąg znaków sdrukowalnych ascii ( do ~, wypisuje program, który po uruchomieniu w tym samym języku, wypisuje program, który wypisuje program ... który wypisuje ciąg s. nNależy wygenerować w sumie programy, z których wszystkie...
Biorąc pod uwagę całkowite dodatnie i wyjście kolumnach i wierszy tekstu w sposób opisany poniżej.wwwhhhwwwhhh Pierwszy rząd zaczyna się od 11 0s, drugi rząd przez 10 1s, trzeci przez dziewięć 2s i tak dalej w dół do dziesiątego rzędu dwoma 9s. W każdym z tych pierwszych dziesięciu wierszy, po...