Suchergebnisse
Suchergebnisse:
Vor 2 Tagen · Aus Gründen der Covid-19 Pandemie verschoben auf das WS 20/21. Forschungsseminar Mathematische Logik ("ML Seminar"). Sommersemester 2019. Vorlesung Mathematische Logik & Mengenlehre (Löwe) Montag 16–18 (Geom H3), Mittwoch 14–16 (Geom H2) Übungen: Dienstag 10–12 (Gollin; Geom 241), Dienstag 14–16 (Löwe; Geom 415).
Vor 2 Tagen · Dive into the fascinating world of logic gates and their wide-ranging applications. Explore how these fundamental building blocks of digital circuits play a ...
Vor 2 Tagen · PHIL 352 Logic and Language. Units: 4 Introduction to modern symbolic logic, with applications to the philosophy of language, plus meta-logical and philosophical results about its scope and limits. Instruction Mode: Lecture Grading Option: Letter.
Vor 4 Tagen · James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016. IEEE 2016, ISBN 978-1-5090-5707-8 [contents]
Vor einem Tag · Formal logic is also known as symbolic logic and is widely used in mathematical logic. It uses a formal approach to study reasoning: it replaces concrete expressions with abstract symbols to examine the logical form of arguments independent of their concrete content.
Vor einem Tag · Historically, symbolic programming has dominated, where developers use symbolic code to express logic for tasks or problem-solving. However, the rapid adoption of LLMs has sparked interest in a new paradigm, Neurosymbolic programming, which combines neural networks and traditional symbolic code to create sophisticated algorithms and applications.
Vor 4 Tagen · Predicate logic, first-order logic or quantified logic is a formal language in which propositions are expressed in terms of predicates, variables and quantifiers. It is different from propositional logic which lacks quantifiers.
