Subject » BMETE91AM58
Proof Theory and Coq Proof Management System
Bizonyításelmélet és a Coq programcsomag
A tantárgyleírás hatályossága
Hatályosság kezdete:
—
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Bizonyításelmélet és a Coq programcsomag
Proof Theory and Coq Proof Management System
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMETE91AM58 | ||||||||||||
| Subject type | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | félévközi érdemjegy | ||||||||||||
| Credits | 3 | ||||||||||||
| Subject coordinator |
Molnár Zoltán Gábor
contact:
mozow@freemail.hu
|
||||||||||||
| Responsible department | — | ||||||||||||
| Faculty | |||||||||||||
| Subject website | — | ||||||||||||
| Teaching language | — | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Objectives
Szabadon választható tárgy
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
Not provided.
Tanulástámogató anyagok
Tankönyvek
Yves Bertot, Pierre Casteran, 2004. Interactive Theorem Proving and Program Development: Coq Art, Springer.
Online források
http://bme.hu; http://telefon.eik.bme.hu/; http://www.bme.hu; http://www.ttk.bme.hu/allaspalyazatok#overlay-context=; http://physics.bme.hu/
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Skill type competencies
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
General rules
Szorgalmi időszak: A félév során két zh, és prezentáció tartása vagy projektmunka bemutatása.
Pótlás/javítás: TVSZ szerint
Konzultáció: Megbeszélés szerint
Assessment methods
In-term assessments
1. —
szintfelmérő (diagnosztikus) értékelés
A félév során két zh, és prezentáció tartása vagy projektmunka bemutatása.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
Not provided.
Workload to complete the subject
| Description | hours / term |
|---|---|
| részvétel a kontakt tanórákon | 28 |
| részteljesítmény értékelés feladatainak kidolgozása | 4 |
| további, a teljesítéshez szükséges munkaidő ráfordítás | 58 |
| összesen | 90 |
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.