Informatik-Forum.at > TU Wien > Bachelorstudien (53x): Grundstudium (1 & 2 Semester) > Theoretische Informatik und Logik, VU

Pages : 1 2 3 [4] 5 6 7

751. [FRAGE] - Was war in VO am 12.04.05?
752. [Frage] [Freund] Übungsbeispiele
753. [SUCHE] - Übungsgruppe (Distance Learning)
754. [PROBLEM] - 4.3
755. [Frage] 4.1
756. [Frage] 4.2
757. [Frage] 4.4
758. [Frage] 4.5
759. [FRAGE] - Stoff der heutigen (19.04.2005) VO
760. [Frage] 5.1
761. [Frage] 5.2
762. [INFO] - Tool zum Automaten zeichen, durchlaufen,...
763. [Frage] 5.4
764. [Frage] 5.5
765. [Frage] 5.3
766. [INFO] - Turingmaschine - Link
767. [SUCHE] - verständliches Skriptum
768. [FRAGE] - turing maschinen
769. [SUCHE] - Mitschrift
770. [FRAGE] - HU:Übungsgruppe?
771. [FRAGE] - Freund Abmeldung?
772. [Frage] Anmeldung zur 1. Abgabe!
773. [Frage] 6.1
774. [Frage] 6.3
775. [Frage] 6.4
776. [Frage] 6.5
777. [Frage] 6.2
778. [INFO] - Übungsbeispiele Freund zum Vergleichen
779. [Frage] krankmeldung
780. [FRAGE] - fragen über fragen
781. [Frage] Freund- Abgabe Di
782. [Frage] Freund - 1.7
783. [Frage] Rudi Freund - gelöste Beispiele
784. [FRAGE] - Freund Abgabe - Wie ists/wars?
785. [FRAGE] - Pummping Lemma
786. [FRAGE] - Diverse Fragen - Freund-Gruppe
787. [Frage] Freund - Kellerautomat
788. [Frage] Kellerautomaten
789. [Frage] freund: bsp zum 1. zettel
790. [Frage] alte übungsblätter WS04
791. [FRAGE] - 7.5
792. [Frage] 7.1
793. [Frage] 7.3
794. [Frage] 7.4
795. [Frage] 7.2
796. [Frage] Nachtragstermin 1. Runde
797. [Frage] seitenweise text...grftjx
798. [PROBLEM] - 8.4
799. [FRAGE] - 8.5
800. [PROBLEM] - 8.1
801. [Frage] SKA, das Sequentialkalkülapplet
802. [FRAGE] - Urbanek!
803. [Frage] 8.2
804. [FRAGE] - 8.3
805. [INFO] - VO Dienstag, 31.5.2005, entfällt
806. [PROBLEM] - Hilfe
807. [Frage] 9.1
808. [Frage] 9.2
809. [FRAGE] - 7.5 Freund
810. [FRAGE] - 7.4 Freund
811. [Frage] 9.3
812. [Frage] 9.4
813. [Frage] 9.5
814. [PROBLEM] - "Videos" in den ppt Folien vom Freund??
815. [PROBLEM] - Problem zu Übungsbeispiel
816. [Frage] Rudi Freund - Beispiele
817. [Frage] Regulaere Sprachen und Eindeutigkeit
818. [FRAGE] - 7.5 Freund
819. [FRAGE] - hat jemand die (eventuelle) Tafel-Mitschriften (wenn es irgendeine gab)....
820. [SUCHE] - Erklärung
821. [Frage] Termintausch
822. [FRAGE] - Prüfung nur Praxisbeispiele (Salzer/Fermüller)?
823. [PROBLEM] - 10.2
824. [Frage] 10.1
825. [Frage] 10.3
826. [PROBLEM] - 10.5
827. [Frage] [Freund] Tutorium
828. [Frage] 10.4.
829. [FRAGE] - VO am 14.06.05
830. [FRAGE] - übungs-ende?
831. [FRAGE] - Anmeldung zur Vorlesungsprüfung ThInf 1?
832. [Frage] VO-Prüfung Freund
833. [PROBLEM] - kontextfreie Grammatik
834. [FRAGE] - Sind die Folien sowie Skriptum erlaubt bei der VO Pruefung von Salzer,Fermueller ???
835. [FRAGE] - Freund Prüfungsvorbereitungsstunde
836. [Frage] Beurteilung
837. [INFO] - HU:Lerngruppe
838. [FRAGE] - 11.3
839. [Frage] 11.2
840. [Frage] 11.1
841. [Frage] 11.4
842. [Frage] 11.5
843. [FRAGE] - HU:Potenzautomat
844. [FRAGE] - HU:Frage zum Stoffumfang
845. [SUCHE] - Hilfe und Erklärung.
846. [INFO] - it's over now...
847. [FRAGE] - Prüfungsanmeldung
848. [SUCHE] - HU:Lösungen zum letzten Test
849. [FRAGE] - Zugelassene Unterlagen zur Prüfung
850. [INFO] - [HU] Lösungen Online
851. [INFO] - Fehler an der Tafel
852. [PROBLEM] - HU reguläre Grammatiken
853. [Frage] Frage zum Prüfungsmodus
854. [FRAGE] - Vorgehensweise !?!
855. [FRAGE] - HU - Übungstest - Aufgaben
856. [FRAGE] - Prüfungsabmeldung!
857. [Frage] Egrep
858. [INFO] - Hoare T-Regeln
859. [PROBLEM] - Turing Maschine
860. [PROBLEM] - Hoare Invariante/Interpolante
861. [FRAGE] - EBNF terminale " oder unterstrichen
862. [Frage] Vergleich Übungsergebnisse
863. [FRAGE] - 11.2 musterlösung
864. [INFO] - THINF1 - Prüfungswiki + Prüfungsvorbereitung
865. [Frage] Distance learning
866. [FRAGE] - sequentialkalkül |- G
867. [FRAGE] - Index bei Prüfung erlaubt?
868. [FRAGE] - reguläre <=> kontextfreie grammatik
869. [Frage] Hoare Kalküle???
870. [FRAGE] - Resolution
871. [FRAGE] - Prufüng nr.4 2003
872. [Frage] Theoriefragen
873. [INFO] - Resolution Applet
874. [FRAGE] - Sequentilakalkül -> Bearbeitungsreihenfolge
875. [Frage] Fehler in Musterlösung 8.5
876. [FRAGE] - Prufüng nr. 1 2004
877. [FRAGE] - Prufüng nr.4 2002
878. [FRAGE] - Prüfung 02.05.2003 D 3)Grammatik
879. [FRAGE] - Partielle Korrektheit vs. totale korrektheit
880. [FRAGE] - Aufgabe 7.4 KNF-syntaktische Methode
881. [FRAGE] - Seq.Kalkül -> Gegenbeweis
882. [Frage] The After Test Thread
883. [Frage] HU - Ergebnisse online
884. [FRAGE] - Wann ist denn mit den Ergebnissen zu rechnen
885. [INFO] - Ergebnisse sind da!
886. [FRAGE] - Hat wer sprechstunde jetzt noch im August....???
887. [FRAGE] - Nächster Termin
888. [Frage] thinf1 ws05
889. [Frage] Vorbesprechung 04.10.2005
890. [Frage] Übungen und Prüfung
891. [Frage] urbanek - beispielangaben
892. [Frage] Erste Übung
893. [FRAGE] - thinf1 skriptum kuich/urbanek
894. [Frage] Heutige Übungsstunde
895. [Frage] Verschiedene Möglichkeiten - wo, wann und wie gut?
896. [FRAGE] - Bis wohin?
897. [FRAGE] - Wie war die Prüfung bei FREUND
898. [Frage] [KUICH] Übungsbeispiele Ausarbeitungen
899. [PROBLEM] - prüfung urbanek
900. [FRAGE] - Theoretische Informatik VU
901. [SUCHE] - Lösungen
902. [FRAGE] - Die Prüfung(beim Urbanek)?!
903. [PROBLEM] - Grammatiken - Produktionen / Bildverarbeitung
904. [SUCHE] - wer hat heute beim prüfung was verloren?
905. [Frage] After Test: 7.11.05 Salzer (Frage zu KNF)
906. [FRAGE] - Übung bei Urbanke – ausgefallen?
907. [SUCHE] - Urbanek Mitschrift
908. Speicherabbildungsfunktion Theoretische Informatik
909. [Frage] Freie Algebra
910. [Frage] Block LVA theoinf
911. [PROBLEM] - Rekursive Funktion definieren.
912. [PROBLEM] - Ableitungsregel Formeln
913. [FRAGE] - Übung (16.11.05) verpasst!
914. [INFO] - noten prüfung 7.11 sind da
915. [FRAGE] - konjunktive Normalform alte BSP
916. [Frage] Alte Prüfungsangaben URBANEK !!
917. [FRAGE] - Treffen um zu lernen
918. [FRAGE] - Alte PO 1.Juli 2005 Bsp1
919. [Frage] [Kuich] Kongruenzrelationen bzw. homomorphe Bilder
920. [FRAGE] - Alte PO 1.Juli 2005 Bsp 8
921. [PROBLEM] - Signatur
922. [FRAGE] - Anfänger – Fragen
923. [Frage] Genauer Stoff des ersten UE-Test
924. [FRAGE] - erneutes antreten, obwohl schon positiv?
925. [Frage] prüfungsanmeldung für freitag 2.12?
926. [FRAGE] - Alte PO 12.1.2005 Bsp8
927. [PROBLEM] - Verständnisprobleme / Urbanek
928. [FRAGE] - Alte PO 23.11. 2004 Bsp 8
929. [FRAGE] - homomorphe Abbildungen - Übungsbsp. 3
930. [FRAGE] - Resolutionskälkul
931. [FRAGE] - Freie Algebra
932. [FRAGE] - 2. frage
933. [FRAGE] - 2. frage
934. [FRAGE] - 2. frage
935. [FRAGE] - 2. frage
936. [Frage] Lösungen von alten PO (Fermüller / Salzer)
937. [FRAGE] - Begriff "Varietät"
938. [FRAGE] - Prüfung
939. [FRAGE] - 3. Frage
940. [FRAGE] - Was bedeutet Varietät???
941. [FRAGE] - unterlagen
942. [FRAGE] - Test 1
943. [Frage] After Test Thread
944. [Frage] Testanmeldung
945. [FRAGE] - Letzte Prüfung SALZER
946. [FRAGE] - Urbanek - Ergebnisse - Test1
947. [Frage] [KUICH] Übungsbeispiele die Zweite
948. [FRAGE] - konstantenelimination
949. [INFO] - Nachtermine TU Rudi Freund
950. [Frage] Einsichtnahme - Urbanek
951. [Frage] After Test Thread
952. [FRAGE] - Test - Urbanek - Angaben
953. [Frage] 2. Beispiel - (Test)
954. [FRAGE] - Heutige Übung - 14.12.05 - Prof. Urbanek
955. [FRAGE] - next test
956. [FRAGE] - Wann bekommt man negatives Zeugnis?
957. [Frage] nächste prüfung...
958. [Frage] bei wem theoinf1?
959. [FRAGE] - für den test am di. 17.01.06
960. [SUCHE] - Hat jemand die Lösungen von den letzten Testen??
961. [Frage] Frage zu Build()
962. [FRAGE] - Lösung zu Dezember05, beispiel5?
963. [Frage] test 7 nov. Frage 1
964. [Frage] After Test Thread 17.01
965. [Frage] [urbanek] 2. test
966. [SUCHE] - Theoretische Informatik 1: test2 Angaben
967. [Frage] Urbanek - letzte Übungsstunde
968. [INFO] - beispiele durchmachen
969. [PROBLEM] - Beispiel 23
970. [SUCHE] - Urbanek Mitschrift - Letzte Übungsstunde(24.01.06)
971. [Frage] el-Antwort bitte :)
972. [FRAGE] - b.s 21,22 , 24,25
973. [Frage] Frage 19 Bis 22
974. [FRAGE] - 26,27
975. [Frage] Urbanek - Hoare
976. [FRAGE] - mögliche Bsple für den Test
977. [FRAGE] - Mögliche Testbsple und Frage zu Bsp 24 c+d
978. [PROBLEM] - 29a)
979. [Frage] 28.Frage
980. [FRAGE] - Bsp 26 fehlt da nicht im Zustand 0 noch eine Schleife für b und c ?
981. [SUCHE] - Skriptum
982. [FRAGE] - Nicht Teilnehmmen
983. [INFO] - Test 3.2.2006
984. [Frage] Salzer Prüfung 17.01
985. [Frage] [URBANEK] Nachtest
986. [FRAGE] - Ergebnisse Test 2 (3.2.2006)
987. [FRAGE] - Salzer oder Brezany
988. [FRAGE] - Brezany-Lösungen
989. [Frage] Sommersemester
990. [FRAGE] - Anmeldung
991. [Frage] Freund: Distance Learning?
992. [Frage] Theoretische Informatik I
993. [FRAGE] - Vorbesprechung
994. [FRAGE] - 1. VU Einheit Salzer
995. [Frage] salzer - gruppentermine
996. [Frage] salzer vs freund
997. [Frage] tuwel
998. [Frage] salzer - bewertungssystem: mindestpunkte bei vo-prüfung
999. [INFO] - Brezany
1000. [FRAGE] - Was bedeutet "regulär"

vBulletin® v3.7.1, Copyright ©2000-2008, Jelsoft Enterprises Ltd.