-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
Angewandte Informatik ( insbesondere Betriebssysteme, verteilte Systeme, Softwaretechnik, Datenbanken und Informationssysteme, Telematik )
Theoretische Informatik ( insbesondere Algorithmen , Logik , Komplexitätstheorie , Kodierung und Kryptologie , formale Logik und Semantik , Computer Algebra , künstliche Intelligenz )
Technische Informatik (insbesondere Expertise im Gebiet der Hardware)
www.uni-goettingen.dePractical Computer Science ( especially operating systems, distributed systems, software technology, databases and information systems, telematics )
Theoretical Computer Science (especially algorithms, logic design theory, complexity theory, coding and cryptology, formal logic and semantics, computer algebra, artificial intelligence)
Technical Computer Science (in particular expertise in the field of hardware)
www.uni-goettingen.deDie ersten Computerlinguistik-Studieng... sind weltweit in den 80er Jahren entstanden.
Die Computerlinguistik verbindet Inhalte und Methoden aus der Informatik und der Sprachwissenschaft und benutzt Teile der Mathematik ( besonders die Formale Logik ) als Grundlage .
Computerlinguistik hat mit menschlicher Sprache, mit mathematisch-naturwissensch... Methoden und mit dem Computer als Arbeitsmittel zu tun.
www.uni-saarland.deThe first degree courses in computer linguistics emerged in the 1980s.
Computer linguistics combines the content and methods of informatics and linguistics while also making use of parts of mathematics (in particular formal logic).
The discipline is concerned with human language, with mathematical and scientific methods and with computers as tools.
www.uni-saarland.de3. Aufgabe :
[ Beziehung zwischen umgangssprachlicher und formaler Logik , 8P ] Versuchen Sie , die folgenden umgangssprachlichen Aussagen in Formeln der Aussagen- logik zu übertragen .
www-madlener.informatik.uni-kl.deExercise 3 :
[ Relations between formal and informal logics, 8P ] Try to express the following propositions in terms of logical formulas.
www-madlener.informatik.uni-kl.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.