Lista przekierowań
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Poniżej wyświetlono co najwyżej 50 wyników w zakresie od 151 do 200.
- Języki, automaty i obliczenia/Wykład 13: Złożoność obliczeniowa. Języki maszyn Turinga i typu (0). Rozstrzygalność → Języki, automaty i obliczenia/Wykład 13: Złożoność obliczeniowa.
- Języki, automaty i obliczenia/Wykład 1 Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne → Języki, automaty i obliczenia/Wykład 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne
- Języki, automaty i obliczenia/Wykład 2: Gramatyki - modele obliczeń, hierarchia Chomsky' ego → Języki, automaty i obliczenia/Wykład 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego
- Języki, automaty i obliczenia/Wykład 2 Gramatyki - modele obliczeń, hierarchia Chomsky' ego → Języki, automaty i obliczenia/Wykład 2: Gramatyki - modele obliczeń, hierarchia Chomsky' ego
- Języki, automaty i obliczenia/Wykład 4: Wyrażenia regularne, automat minimalny → Wyrażenia regularne. Automat minimalny/Wykład 4: Wyrażenia regularne. Automat minimalny
- Języki, automaty i obliczenia/Wykład 6: Automat niedeterministyczny; lemat o pompowaniu → Języki, automaty i obliczenia/Wykład 6: Automat niedeterministyczny. Lemat o pompowaniu
- Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene'ego. Własności języków i gramatyk → Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene'ego. Własności języków i gramatyk regularnych
- Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene’ego; gramatyki regularne → Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene'ego. Własności języków i gramatyk
- Języki, automaty i obliczenia/Wykład 8: Gramatyka regularna i wyrażenia - algorytmy; rozstrzygalność → Języki, automaty i obliczenia/Wykład 8: Dalsze algorytmy dla języków regularnych. Problemy rozstrzygalne
- Języki, automaty i obliczenia/Wykład 9: Języki i gramatyki bezkontekstowe → Języki, automaty i obliczenia/Wykład 9: Języki bezkontekstowe i ich gramatyki
- Języki, automaty i obliczenia/Ćwiczenia 10: Automat ze stosem → Języki, automaty i obliczenia/Ćwiczenia 10: Lemat o pompowaniu dla języków bezkntekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne
- Języki, automaty i obliczenia/Ćwiczenia 10: Lemat o pompowaniu dla języków bezkntekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne → Języki, automaty i obliczenia/Ćwiczenia 10: Lemat o pompowaniu dla języków bezkontekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne
- Języki, automaty i obliczenia/Ćwiczenia 11: Lemat o pompowaniu dla języków bezkontekstowych; jednoznaczność → Języki, automaty i obliczenia/Ćwiczenia 11: Automat ze stosem
- Języki, automaty i obliczenia/Ćwiczenia 12: Języki kontekstowe i typu 0; maszyna Turinga → Języki, automaty i obliczenia/Ćwiczenia 12: Języki kontekstowe i automat liniowo ograniczony. Maszyna Turinga
- Języki, automaty i obliczenia/Ćwiczenia 13: Problemy rozstrzygalne i nierozstrzygalne w teorii języków → Języki, automaty i obliczenia/Ćwiczenia 13: Złożoność obliczeniowa. Języki maszyn Turinga i typu (0). Rozstrzygalność
- Języki, automaty i obliczenia/Ćwiczenia 13: Złożoność obliczeniowa. Języki maszyn Turinga i typu (0). Rozstrzygalność → Języki, automaty i obliczenia/Ćwiczenia 13: Złożoność obliczeniowa.
- Języki, automaty i obliczenia/Ćwiczenia 1 Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne → Języki, automaty i obliczenia/Ćwiczenia 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne
- Języki, automaty i obliczenia/Ćwiczenia 2 → Języki, automaty i obliczenia/Ćwiczenia 2: Gramatyki - modele obliczeń, hierarchia Chomsky' ego
- Języki, automaty i obliczenia/Ćwiczenia 2: Gramatyki - modele obliczeń, hierarchia Chomsky' ego → Języki, automaty i obliczenia/Ćwiczenia 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego
- Języki, automaty i obliczenia/Ćwiczenia 4: Wyrażenia regularne, automat minimalny → Języki, automaty i obliczenia/Ćwiczenia 4: Wyrażenia regularne. Automat minimalny
- Języki, automaty i obliczenia/Ćwiczenia 6: Automat niedeterministyczny; lemat o pompowaniućwiczenia → Języki, automaty i obliczenia/Ćwiczenia 6: Automat niedeterministyczny. Lemat o pompowaniu
- Języki, automaty i obliczenia/Ćwiczenia 7: Twierdzenie Kleene’ego; gramatyki regularne → Języki, automaty i obliczenia/Ćwiczenia 7: Twierdzenie Kleene'ego. Własności języków i gramatyk regularnych
- Języki, automaty i obliczenia/Ćwiczenia 8: Gramatyka regularna i wyrażenia - algorytmy; rozstrzygalność → Języki, automaty i obliczenia/Ćwiczenia 8: Dalsze algorytmy dla języków regularnych. Problemy rozstrzygalne
- Języki, automaty i obliczenia/Ćwiczenia 9: Języki i gramatyki bezkontekstowe → Języki, automaty i obliczenia/Ćwiczenia 9: Języki bezkontekstowe i ich gramatyki
- LTM Wykład 1 → Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost
- LTM Wykład 2 → Logika i teoria mnogości/Wykład 2: Rachunek zdań
- LTM Wykład 3 → Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów
- LW1 Modul1 - ćwiczenie 1 → LW1 Moduł 1 - ćwiczenie 1
- LW1 Modul1 - ćwiczenie 2 → LW1 Modul2 - ćwiczenie 2
- LW1 Modul2 - ćwiczenie 2 → LW1 Moduł 2 - ćwiczenie 2
- LW1 Modul3 - ćwiczenie 3 → LW1 Moduł 3 - ćwiczenie 3
- LW1 Modul4 - ćwiczenie 4 → LW1 Moduł 4 - ćwiczenie 4
- LW1 Moduł 1 - ćwiczenie 1 → Laboratorium wirtualne 1/Moduł 1 - ćwiczenie 1
- LW1 Moduł 2 - ćwiczenie 2 → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2
- LW1 Moduł 2 - ćwiczenie 2 - część 1 → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2/część 1
- LW1 Moduł 2 - ćwiczenie 2 - część 2 → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2/część 2
- LW1 Moduł 2 - ćwiczenie 2 - część 3 → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2/część 3
- LW1 Moduł 2 - ćwiczenie 2 - część 4 → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2/część 4
- LW1 Moduł 2 - ćwiczenie 2 - część 5 → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2/część 5
- LW1 Moduł 2 - ćwiczenie 2 - wstęp → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2 - wstęp
- LW1 Moduł 3 - ćwiczenie 3 → Laboratorium wirtualne 1/Moduł 3 - ćwiczenie 3
- LW1 Moduł 4 - ćwiczenie 4 → Laboratorium wirtualne 1/Moduł 4 - ćwiczenie 4
- LW1 Moduł 5 → LW1 Moduł 5 - ćwiczenie 5
- LW1 Moduł 5 - ćwiczenie 5 → Laboratorium wirtualne 1/Moduł 5 - ćwiczenie 5
- LW2 Modul1 - ćwiczenie 1 → Laboratorium wirtualne 2/Moduł 1 - ćwiczenie 1
- LW2 Modul2 - ćwiczenie 2 → Laboratorium wirtualne 2/Moduł 2 - ćwiczenie 2
- LW2 Modul3 - ćwiczenie 3 → Laboratorium wirtualne 2/Moduł 3 - ćwiczenie 3
- LW2 Modul4 - ćwiczenie 4 → Laboratorium wirtualne 2/Moduł 4 - ćwiczenie 4
- LW2 Modul5 - ćwiczenie 5 → Laboratorium wirtualne 2/Moduł 5 - ćwiczenie 5
- Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2 - wstęp → Laboratorium wirtualne 1/Moduł 2 - ćwiczenie 2/wstęp