1 / 4

CSC4504 : Formal Languages & Applications J Paul Gibson, A207 paul.gibson@int-edu.eu http://www-public. it-sudp

CSC4504 : Formal Languages & Applications J Paul Gibson, A207 paul.gibson@int-edu.eu http://www-public. it-sudparis.eu /~ gibson/Teaching/CSC4504/. Introduction to Formal Languages http://www-public.it-sudparis.eu/~ gibson/Teaching/CSC4504/L0-Introduction.pdf.

taariq
Download Presentation

CSC4504 : Formal Languages & Applications J Paul Gibson, A207 paul.gibson@int-edu.eu http://www-public. it-sudp

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CSC4504 : FormalLanguages & Applications J Paul Gibson, A207 paul.gibson@int-edu.eu http://www-public.it-sudparis.eu/~gibson/Teaching/CSC4504/ Introduction to FormalLanguages http://www-public.it-sudparis.eu/~gibson/Teaching/CSC4504/L0-Introduction.pdf TSP: Software Engineering

  2. Code: CSC4504 Course Title: FormalLanguages and Applications Co-ordinator: Amel Mammar, Additional Lectures: J Paul Gibson Keywords : Formal modeling, B and Event-B, Program verification, Logic Programming, Artificial Intelligence Objectives : Understand the principles of formal modelling. To be able to reason about properties of formal models. To be able to compare different formal modeling languages. To use a formal modeling tool for the verification of programs developed formally. To understand the relationship between program proving and automated reasoning. To understand the history and current state of the art in AI with focus on use of AI in supporting the engineering of software and systems Content : Logic and overview of different logics used by software engineers. B and/or Event-B: with focus on refinement driven development for correctness by construction Proof and verification: using an automated theorem prover Logic (and formal) programming - comparing Prolog with functional languages. Deduction, reasoning and problem solving. Foundations of AI: Symbolic reasoning, expert systems, Brute Force methods, Search and optimization, uncertainty, statistical learning, natural language processing TSP: Software Engineering

  3. http://www-public.telecom-sudparis.eu/~gibson/Teaching/CSC4504/http://www-public.telecom-sudparis.eu/~gibson/Teaching/CSC4504/ TSP: Software Engineering

  4. Languagesthatwewillbeusing: • Logical - Prolog • Functional - Caml/Ocaml/Caml Light • Imperative – C • Object oriented - Java You need to be able to develop (edit/compile/execute) code in each of theselanguages on the PC/OS of yourchoice. Installing the toolsisyourresponsibility … but youwillget help TSP: Software Engineering

More Related