mant – -Translation – Keybot Dictionary

Spacer TTN Translation Network TTN TTN Login Deutsch Français Spacer Help
Source Languages Target Languages
Keybot 12 Results  www.partnersgroup.com
  Ders Tanımları - Koç Un...  
Show textShow cached sourceOpen source URL
Mantığın temelleri, matematiksel tümevarım, kümeler kuramı, ilişkiler ve fonksiyonlar, sayma ilkeleri, içerme ve dışlama ilkeleri, endüstri mühendisliği ve yöneylem araştırması problemleri için çizge kuramı, ağaçlar ve algoritmalar.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine mava.ku.edu.tr as primary domain
Fundamentals of logic, mathematical induction, basic set theory, relations and functions, fundamental principles of counting, inclusion-exclusion principles, basic graph theory, trees, algorithms for basic industrial engineering and operations research problems on graphs and networks.
  Ders Tanımları - Koç Un...  
Show textShow cached sourceOpen source URL
Otomatik sınama ve doğrulama araçları ve algoritmaları. Programların ve koşturmaların matematiksel temsili. Hoare mantığı. Modüler kontratlar ile belirtim yazma: İlk- ve son-durum belirtimleri, döngü ve nesne değişmezleri.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine mava.ku.edu.tr as primary domain
Tools and techniques for ensuring software reliability. Specification formalisms and languages. Modeling tools and languages. Unit and integration testing. Automated testing and verification tools and algorithms. Mathematical representations for programs and executions. Hoare logic. Specification using modular contracts: Preconditions, postconditions, loop and object invariants. Ownership systems. Automated test generation. Model-based testing. Coverage metrics for testing adequacy. Type and effect systems for reliable software. Software model checkers. Static analysis. Concurrent/multi-threaded programs. Correctness criteria for concurrent programs: race-freedom, atomicity, linearizability and serializability. Testing, verification and debugging tools for concurrent programs.