Główne publiczne rejestry

Wspólny rejestr wszystkich typów operacji dla Studia Informatyczne. Możesz zawęzić liczbę wyników poprzez wybranie typu rejestru, nazwy użytkownika lub tytułu strony.

• 09:34, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 10: Lemat o pompowaniu dla języków bezkntekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne do Języki, automaty i obliczenia/Ćwiczenia 10: Lemat o pompowaniu dla języków bezkontekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne
• 09:33, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 13: Problemy rozstrzygalne i nierozstrzygalne w teorii języków do Języki, automaty i obliczenia/Ćwiczenia 13: Złożoność obliczeniowa. Języki maszyn Turinga i typu (0). Rozstrzygalność
• 09:33, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 12: Języki kontekstowe i typu 0; maszyna Turinga do Języki, automaty i obliczenia/Ćwiczenia 12: Języki kontekstowe i automat liniowo ograniczony. Maszyna Turinga
• 09:32, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 11: Lemat o pompowaniu dla języków bezkontekstowych; jednoznaczność do Języki, automaty i obliczenia/Ćwiczenia 11: Automat ze stosem
• 09:32, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 10: Automat ze stosem do Języki, automaty i obliczenia/Ćwiczenia 10: Lemat o pompowaniu dla języków bezkntekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne
• 09:31, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 9: Języki i gramatyki bezkontekstowe do Języki, automaty i obliczenia/Ćwiczenia 9: Języki bezkontekstowe i ich gramatyki
• 09:30, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 8: Gramatyka regularna i wyrażenia - algorytmy; rozstrzygalność do Języki, automaty i obliczenia/Ćwiczenia 8: Dalsze algorytmy dla języków regularnych. Problemy rozstrzygalne
• 09:30, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 7: Twierdzenie Kleene’ego; gramatyki regularne do Języki, automaty i obliczenia/Ćwiczenia 7: Twierdzenie Kleene'ego. Własności języków i gramatyk regularnych
• 09:29, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 6: Automat niedeterministyczny; lemat o pompowaniućwiczenia do Języki, automaty i obliczenia/Ćwiczenia 6: Automat niedeterministyczny. Lemat o pompowaniu
• 09:28, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Ćwiczenia 4: Wyrażenia regularne, automat minimalny do Języki, automaty i obliczenia/Ćwiczenia 4: Wyrażenia regularne. Automat minimalny
• 08:49, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Wyrażenia regularne. Automat minimalny/Wykład 4: Wyrażenia regularne. Automat minimalny do Języki, automaty i obliczenia/Wykład 4: Wyrażenia regularne. Automat minimalny
• 08:48, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 13: Problemy rozstrzygalne i nierozstrzygalne w teorii języków do Języki, automaty i obliczenia/Wykład 13: Złożoność obliczeniowa. Języki maszyn Turinga i typu (0). Rozstrzygalność
• 08:47, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 12: Języki kontekstowe i typu 0; maszyna Turinga do Języki, automaty i obliczenia/Wykład 12: Języki kontekstowe i automat liniowo ograniczony. Maszyna Turinga
• 08:46, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 11: Lemat o pompowaniu dla języków bezkontekstowych; jednoznaczność do Języki, automaty i obliczenia/Wykład 11: Automat ze stosem
• 08:45, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 10: Automat ze stosem do Języki, automaty i obliczenia/Wykład 10: Lemat o pompowaniu dla języków bezkntekstowych. Własności języków bezkontekstowych. Problemy rozstrzygalne
• 08:43, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 9: Języki i gramatyki bezkontekstowe do Języki, automaty i obliczenia/Wykład 9: Języki bezkontekstowe i ich gramatyki
• 08:42, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene'ego. Własności języków i gramatyk do Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene'ego. Własności języków i gramatyk regularnych
• 08:41, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 8: Gramatyka regularna i wyrażenia - algorytmy; rozstrzygalność do Języki, automaty i obliczenia/Wykład 8: Dalsze algorytmy dla języków regularnych. Problemy rozstrzygalne
• 08:35, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 2: Gramatyki - modele obliczeń, hierarchia Chomsky' ego do Języki, automaty i obliczenia/Wykład 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego
• 08:32, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene’ego; gramatyki regularne do Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene'ego. Własności języków i gramatyk
• 08:31, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 6: Automat niedeterministyczny; lemat o pompowaniu do Języki, automaty i obliczenia/Wykład 6: Automat niedeterministyczny. Lemat o pompowaniu
• 08:28, 23 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Języki, automaty i obliczenia/Wykład 4: Wyrażenia regularne, automat minimalny do Wyrażenia regularne. Automat minimalny/Wykład 4: Wyrażenia regularne. Automat minimalny
• 19:30, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Neumann, John von do Biografia Neumann, John
• 17:38, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Zorn do Biografia Zorn, Max August
• 17:38, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Zermelo do Biografia Zermelo, Ernst Friedrich Ferdinand
• 17:38, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Wirth do Biografia Wirth, Niklaus E.
• 17:37, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Weierstrass do Biografia Weierstrass, Karl
• 17:37, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Turinga do Biografia Turing, Alan
• 17:37, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Thue do Biografia Thue, Axel
• 17:36, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Tarski do Biografia Tarski, Alfred
• 17:36, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Stone do Biografia Stone, Marshall Harvey
• 17:35, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Scott do Biografia Scott, Dana Stewart
• 17:35, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Russell do Biografia Russell, Bertrand Arthur William
• 17:35, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Riemann do Biografia Riemann, Georg Friedrich Bernhard
• 17:34, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Post do Biografia Post, Emil Leon
• 17:34, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Poisson do Biografia Poisson, Siméon Denis
• 17:34, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Peano do Biografia Peano, Giuseppe
• 17:33, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Pascal do Biografia Pascal, Blaise
• 17:33, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Neumann do Biografia Neumann, John von
• 17:32, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia McCarthy do Biografia McCarthy, John
• 17:32, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Maurolico do Biografia Maurolico, Francesco
• 17:31, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Markow do Biografia Markow, Andriej
• 17:31, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Maclaurin do Biografia Maclaurin, Colin
• 17:30, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Mac Lane'a do Biografia Mac Lane, Saunders
• 17:30, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Leibniz do Biografia Leibniz, Gottfried Wilhelm
• 17:30, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Lebesgue do Biografia Lebesgue, Henri Léon
• 17:29, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Kołmogorow do Biografia Kołmogorow, Andriej Nikołajewicz
• 17:29, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Knuth do Biografia Knuth, Donald Ervin
• 17:29, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Knaster do Biografia Knaster, Bronisław
• 17:28, 20 sie 2006 Rogoda dyskusja edycje przeniósł(-osła) stronę Biografia Kleene do Biografia Kleene, Stephen Cole