Канал: TeXnoLogos

Wprowadzenie do systemu edycji dokumentów LaTeX

Wprowadzenie do systemu edycji dokumentów LaTeX

Wprowadzenie do programowania w Prologu: Listy i rekursja

Wprowadzenie do programowania w Prologu: Listy i rekursja

Programowanie w PROLOGU - Fakty, reguły, bazy wiedzy

Programowanie w PROLOGU - Fakty, reguły, bazy wiedzy

LaTeX - Wprowadzenie do Systemu Overleaf

LaTeX - Wprowadzenie do Systemu Overleaf

Narzędzia informatyczne w pracy naukowej - Poza ChatGPT

Narzędzia informatyczne w pracy naukowej - Poza ChatGPT

Narzędzia informatyczne w pracy naukowej - Projekt PhilPapers

Narzędzia informatyczne w pracy naukowej - Projekt PhilPapers

Narzędzia informatyczne w pracy naukowej - Naukowe Serwisy Publikacyjne

Narzędzia informatyczne w pracy naukowej - Naukowe Serwisy Publikacyjne

Narzędzia informatyczne w pracy naukowej - Chatgpt

Narzędzia informatyczne w pracy naukowej - Chatgpt

Narzędzia informatyczne w pracy naukowej - Obsidian

Narzędzia informatyczne w pracy naukowej - Obsidian

Narzędzia informatyczne w pracy naukowej - ResearchRabbit

Narzędzia informatyczne w pracy naukowej - ResearchRabbit

Narzędzia informatyczne w pracy naukowej - Manager Bibliografii Zotero

Narzędzia informatyczne w pracy naukowej - Manager Bibliografii Zotero

GIMP i Scribus projekt

GIMP i Scribus projekt

Python sylogizmy projekt cz.1

Python sylogizmy projekt cz.1

Scribus projekt - plakat naukowy

Scribus projekt - plakat naukowy

Python sylogizmy projekt cz. 2 opis schematu

Python sylogizmy projekt cz. 2 opis schematu

LaTeX Scribus Project Gutenberg

LaTeX Scribus Project Gutenberg

Dedukcja naturalna 5 Notacja odwrotna

Dedukcja naturalna 5 Notacja odwrotna

Dedukcja naturalna 6 System NaDeA wprowadzenie

Dedukcja naturalna 6 System NaDeA wprowadzenie

Dedukcja naturalna 7 System NaDeA przykład MP

Dedukcja naturalna 7 System NaDeA przykład MP

Dedukcja naturalna 8 System NaDeA zadania

Dedukcja naturalna 8 System NaDeA zadania

Dedukcja naturalna 2 Reguły

Dedukcja naturalna 2 Reguły

Dedukcja naturalna 4 Dowód formuły MP

Dedukcja naturalna 4 Dowód formuły MP

Dedukcja naturalna 3 Dowód prawa tożsamośći

Dedukcja naturalna 3 Dowód prawa tożsamośći

Dedukcja naturalna 1 DN a system aksjomatyczny

Dedukcja naturalna 1 DN a system aksjomatyczny

Carnap io wprowadzenie

Carnap io wprowadzenie

Syntaktyka KRP Term i Formuła

Syntaktyka KRP Term i Formuła

Syntaktyka KRP Alfabet kwantyfikatory

Syntaktyka KRP Alfabet kwantyfikatory

Syntaktyka KRP Alfabet

Syntaktyka KRP Alfabet

Syntaktyka KRP Alfabet cd

Syntaktyka KRP Alfabet cd

Syntaktyka KRP KRZ jako rachunek nazw

Syntaktyka KRP KRZ jako rachunek nazw

Syntaktyka KRP KRP jako logika pierwszego rzędu

Syntaktyka KRP KRP jako logika pierwszego rzędu

Syntaktyka KRP KRP i inne nazwy

Syntaktyka KRP KRP i inne nazwy

Syntaktyka KRP KRP jako Klasyczny Rachunek Kwantyfikatorów

Syntaktyka KRP KRP jako Klasyczny Rachunek Kwantyfikatorów

Syntaktyka KRP KRP jako Klasyczny Rachunek Nazw

Syntaktyka KRP KRP jako Klasyczny Rachunek Nazw

Syntaktyka KRP Predykaty przykłady

Syntaktyka KRP Predykaty przykłady

Syntaktyka KRP Predykaty

Syntaktyka KRP Predykaty

Syntaktyka IRZ i MRZ

Syntaktyka IRZ i MRZ

System Obsidian

System Obsidian

Logika pierwszego rzędu - Reguły Normalne

Logika pierwszego rzędu - Reguły Normalne

Logika pierwszego rzędu model rodzina spełnianie w modelu

Logika pierwszego rzędu model rodzina spełnianie w modelu

Logika pierwszego rzędu sprawdzanie tautologiczności

Logika pierwszego rzędu sprawdzanie tautologiczności

Zmiany w organizacji zajęć

Zmiany w organizacji zajęć

gimp 5

gimp 5

gimp 4

gimp 4

gimp 3

gimp 3

gimp 2

gimp 2

gimp 1

gimp 1

scribus 11

scribus 11

scribus 10

scribus 10

scribus 9

scribus 9

scribus 8

scribus 8

scribus 7

scribus 7

scribus 6

scribus 6

scribus 5

scribus 5

scribus 4

scribus 4

scribus 3

scribus 3

scribus 2

scribus 2

scribus 1

scribus 1

Python - 11 - Pętla WHILE

Python - 11 - Pętla WHILE

Python -14 - Zadanie 3: PNK

Python -14 - Zadanie 3: PNK

Python -13 - Zadanie 2: BMI

Python -13 - Zadanie 2: BMI

Python - 12 - Pętla IF

Python - 12 - Pętla IF

Python - 10 - Poprawka do nagrań

Python - 10 - Poprawka do nagrań

Python - 2 - Zmienne i podstawowe operacje

Python - 2 - Zmienne i podstawowe operacje

Python - 6 - Działania arytmetyczne cd

Python - 6 - Działania arytmetyczne cd

Python - 7 - INPUT

Python - 7 - INPUT

Python - 4 - Pętla FOR

Python - 4 - Pętla FOR

Python - 9 - Zadanie 1

Python - 9 - Zadanie 1

Python 1 - Wprowadzenie do Pythona i opis środowiska, którego będziemy używać.

Python 1 - Wprowadzenie do Pythona i opis środowiska, którego będziemy używać.

Python - 5 - Działania arytmetyczne

Python - 5 - Działania arytmetyczne

Python - 3 - Listy i operacje na nich

Python - 3 - Listy i operacje na nich

Python - 8 - Definiowanie funkcji

Python - 8 - Definiowanie funkcji

scratch 9 programowanie frycia w opałach cz1

scratch 9 programowanie frycia w opałach cz1

scratch 6 gra rycerz

scratch 6 gra rycerz

scratch 7 programowanie gry rycerz

scratch 7 programowanie gry rycerz

scratch 10 programowanie frycia w opałach 2

scratch 10 programowanie frycia w opałach 2

scratch 11 projekt fryciowy ping pong

scratch 11 projekt fryciowy ping pong

scratch 8 gra frycia w opałach

scratch 8 gra frycia w opałach

Wprowadzenie do programowania: podstawy Scratcha

Wprowadzenie do programowania: podstawy Scratcha

Wprowadzenie do programowania: Scratch - przyjmowanie danych od użytkownika, gotowy program

Wprowadzenie do programowania: Scratch - przyjmowanie danych od użytkownika, gotowy program

Wprowadzenie do programowania: Scratch - animowanie duszków

Wprowadzenie do programowania: Scratch - animowanie duszków

Wprowadzenie do programowania: Scratch - animacja postaci

Wprowadzenie do programowania: Scratch - animacja postaci

Wprowadzenie do programowania: Scratch - przyjmowanie danych od użytkownika

Wprowadzenie do programowania: Scratch - przyjmowanie danych od użytkownika

Postaci normalne 5

Postaci normalne 5

Postaci normalne 5

Postaci normalne 5

Postaci normalne 11

Postaci normalne 11

Postaci normalne 10

Postaci normalne 10

Postaci normalne 9

Postaci normalne 9

Postaci normalne 8

Postaci normalne 8

Postaci normalne 7

Postaci normalne 7

Postaci normalne 2

Postaci normalne 2

Postaci normalne 6

Postaci normalne 6

Postaci normalne 4

Postaci normalne 4

Postaci normalne 3

Postaci normalne 3

Postaci normalne 1

Postaci normalne 1

html 2 znaczniki

html 2 znaczniki

html 4 formatowanie tekstu

html 4 formatowanie tekstu

html 5 paragraf nagłówki

html 5 paragraf nagłówki

html 6 listy

html 6 listy

www cd

www cd

html 7 ilustracje

html 7 ilustracje

html 8 odnośniki

html 8 odnośniki

html 9 tło

html 9 tło

html 10 zadanie

html 10 zadanie

html 3 struktura

html 3 struktura

html 1 wprowadzenie

html 1 wprowadzenie

www cd i zadanie

www cd i zadanie

15 teoria nazw stosunki miedzy zakresami nazw 5 nadrzednosc

15 teoria nazw stosunki miedzy zakresami nazw 5 nadrzednosc

14 teoria nazw stosunki miedzy zakresami nazw 4 podrzednosc

14 teoria nazw stosunki miedzy zakresami nazw 4 podrzednosc

13 teoria nazw stosunki miedzy zakresami nazw 3 zamiennosc

13 teoria nazw stosunki miedzy zakresami nazw 3 zamiennosc

12 teoria nazw stosunki miedzy zakresami 2

12 teoria nazw stosunki miedzy zakresami 2

11 teoria nazw stosunki między zakresami 1

11 teoria nazw stosunki między zakresami 1

10 teoria nazw uniwersum i dopełnienie

10 teoria nazw uniwersum i dopełnienie

9 teoria nazw ostre

9 teoria nazw ostre

8 teoria nazw zakres

8 teoria nazw zakres

7 teoria nazw supozycje

7 teoria nazw supozycje

6 teoria nazw tresc

6 teoria nazw tresc

5 teoria nazw indywidualne i generalne

5 teoria nazw indywidualne i generalne

4 teoria nazw desygnat

4 teoria nazw desygnat

3 teoria nazw konkretne i abstrakcyjne

3 teoria nazw konkretne i abstrakcyjne

2 teoria nazw proste i zlozone

2 teoria nazw proste i zlozone

1 teoria nazw definicja nazwy

1 teoria nazw definicja nazwy

17 teoria nazw stosunki miedzy zakresami nazw 7 wykluczanie

17 teoria nazw stosunki miedzy zakresami nazw 7 wykluczanie

16 teoria nazw stosunki miedzy zakresami nazw 6 krzyzowanie

16 teoria nazw stosunki miedzy zakresami nazw 6 krzyzowanie

System dowodowy 0 ‐ Intuicje

System dowodowy 0 ‐ Intuicje

System Dowodowy 1 ‐ Wiadomosci ogolne

System Dowodowy 1 ‐ Wiadomosci ogolne

System Dowodowy 2 ‐ System aksjomatyczny KRZ

System Dowodowy 2 ‐ System aksjomatyczny KRZ

System dowodowy 3 definicja dowodu inferencji

System dowodowy 3 definicja dowodu inferencji

System dowodowy 4 Reguła dowodowa

System dowodowy 4 Reguła dowodowa

System dowodowy 5 reguła podstawiania

System dowodowy 5 reguła podstawiania

System dowodowy 6 Reguły wyprowadzalne

System dowodowy 6 Reguły wyprowadzalne

System dowodowy 7 schematy i konkrety

System dowodowy 7 schematy i konkrety

System dowodowy 8 twierdzenie o dedukcji

System dowodowy 8 twierdzenie o dedukcji

System dowodowy 9 zastosowania twierdzenia o dedukcji

System dowodowy 9 zastosowania twierdzenia o dedukcji

Widok z lotu ptaka na podręcznik do logiki. Dwa pierwsze rozdziały.

Widok z lotu ptaka na podręcznik do logiki. Dwa pierwsze rozdziały.

Klasa Beamer - opis i zadanie

Klasa Beamer - opis i zadanie

Tworzenie tabel w LaTeX-u

Tworzenie tabel w LaTeX-u

Tabele w LaTeX-u: zadanie

Tabele w LaTeX-u: zadanie

LaTeX - matematyka - twierdzenia

LaTeX - matematyka - twierdzenia

LaTeX - formuły matematyczne - Podstawy

LaTeX - formuły matematyczne - Podstawy

LaTeX - formuły matematyczne. Przykład i zadanie

LaTeX - formuły matematyczne. Przykład i zadanie

LaTeX - Grafika (cd), przypisy, cytaty - przykład

LaTeX - Grafika (cd), przypisy, cytaty - przykład

LaTeX - Grafika (cd), przypisy, cytaty - zadanie 9

LaTeX - Grafika (cd), przypisy, cytaty - zadanie 9

LaTeX - Grafika (cd), przypisy, cytaty.

LaTeX - Grafika (cd), przypisy, cytaty.

Grafika w LaTeX-u - zadanie 8

Grafika w LaTeX-u - zadanie 8

Grafika w LaTeX-u na przykładzie

Grafika w LaTeX-u na przykładzie

Podstawy użycia grafiki w LaTeX-u

Podstawy użycia grafiki w LaTeX-u

Używanie pakietów (paczek) w LaTeX-u

Używanie pakietów (paczek) w LaTeX-u

Zadanie 7 - formatowanie i użycie pakietów

Zadanie 7 - formatowanie i użycie pakietów

Formatowanie tekstu w LaTeX-u

Formatowanie tekstu w LaTeX-u

Bibliografia - BibTeX - przykład

Bibliografia - BibTeX - przykład

Bibliografia - BibTeX - opis

Bibliografia - BibTeX - opis

Bibliografia - BibTeX - Zadanie 6

Bibliografia - BibTeX - Zadanie 6

Bibliografia - Podstawy - Przykład 2

Bibliografia - Podstawy - Przykład 2

Bibliografia - Podstawy - Zadanie 5

Bibliografia - Podstawy - Zadanie 5

Bibliografia - Podstawy - Przykład 1

Bibliografia - Podstawy - Przykład 1

Podstawowy sposób tworzenia bibliografii w LaTeX-u

Podstawowy sposób tworzenia bibliografii w LaTeX-u

LaTeX - użycie środowiska (environment)

LaTeX - użycie środowiska (environment)

Zadanie 3 i Zadanie 4

Zadanie 3 i Zadanie 4

Technologie informacyjne - Zadanie 2

Technologie informacyjne - Zadanie 2

Technologie informacyjne - Zadanie 1

Technologie informacyjne - Zadanie 1

Technologie Informacyjne - Przykład 1

Technologie Informacyjne - Przykład 1

Technologie Informacyjne - Lorem ipsum

Technologie Informacyjne - Lorem ipsum

Technologie informacyjne - struktura dokumentu LaTeX

Technologie informacyjne - struktura dokumentu LaTeX

$Technologie informacyjne - komenda \documentclass$

Technologie informacyjne - komenda \documentclass

Technologie informacyjne - wprowadzenie do systemu LaTeX

Technologie informacyjne - wprowadzenie do systemu LaTeX

Technologie Informacyjne - podstawowe błędy w TeXStudio

Technologie Informacyjne - podstawowe błędy w TeXStudio

Technologie Informacyjne - pierwszy dokument TeX w TeXStudio

Technologie Informacyjne - pierwszy dokument TeX w TeXStudio

Technologie Informacyjne - Instalacja MikTeX i TeXStudio

Technologie Informacyjne - Instalacja MikTeX i TeXStudio

Wprowadzenie do logiki - KRZ - Syntaktyka - moc spójników cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - moc spójników cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły cz. 3

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły cz. 3

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - moc spójników cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - moc spójników cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły cz. 1

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 3

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 3

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 4

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 4

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 1

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 1

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 2

Wprowadzenie do logiki - KRZ - Semantyka - wartość formuły cz. 2

Wprowadzenie do logiki - KRZ - Semantyka - matryce cz. 8

Wprowadzenie do logiki - KRZ - Semantyka - matryce cz. 8

Wprowadzenie do logiki - KRZ - Semantyka - matryce cz. 9

Wprowadzenie do logiki - KRZ - Semantyka - matryce cz. 9

Wprowadzenie do logiki - KRZ - Semantyka (odczytywanie formuł) cz. 10

Wprowadzenie do logiki - KRZ - Semantyka (odczytywanie formuł) cz. 10

Wprowadzenie do logiki - KRZ - Semantyka cz. 7

Wprowadzenie do logiki - KRZ - Semantyka cz. 7

Wprowadzenie do logiki - KRZ - Semantyka cz. 6

Wprowadzenie do logiki - KRZ - Semantyka cz. 6

Wprowadzenie do logiki - KRZ - Semantyka cz. 4

Wprowadzenie do logiki - KRZ - Semantyka cz. 4

Wprowadzenie do logiki - KRZ - Syntaktyka - wyrażenia sensowne cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - wyrażenia sensowne cz. 1

Wprowadzenie do logiki - KRZ - Semantyka cz. 5

Wprowadzenie do logiki - KRZ - Semantyka cz. 5

Wprowadzenie do logiki - KRZ - Syntaktyka - wyrażenia sensowne cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - wyrażenia sensowne cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - uwagi terminologiczne cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - uwagi terminologiczne cz. 2

Wprowadzenie do logiki - KRZ - Semantyka cz. 3

Wprowadzenie do logiki - KRZ - Semantyka cz. 3

Wprowadzenie do logiki - KRZ - Semantyka cz. 1

Wprowadzenie do logiki - KRZ - Semantyka cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - uwagi terminologiczne cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - uwagi terminologiczne cz. 1

Wprowadzenie do logiki - KRZ - Alfabet/Język cz. 2

Wprowadzenie do logiki - KRZ - Alfabet/Język cz. 2

Wprowadzenie do logiki - Klasyczny Rachunek Zdań

Wprowadzenie do logiki - Klasyczny Rachunek Zdań

Wprowadzenie do logiki - KRZ - Alfabet/Język cz. 1

Wprowadzenie do logiki - KRZ - Alfabet/Język cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły syntaktyczne inne spójniki cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły syntaktyczne inne spójniki cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły syntaktyczne inne spójniki cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - reguły syntaktyczne inne spójniki cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - podformuła cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - podformuła cz. 2

Wprowadzenie do logiki - KRZ - Semantyka cz. 2

Wprowadzenie do logiki - KRZ - Semantyka cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - czytanie spójników cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - czytanie spójników cz. 2

Wprowadzenie do logiki - KRZ - Syntaktyka - podformuła cz. 1

Wprowadzenie do logiki - KRZ - Syntaktyka - podformuła cz. 1