Agda

См. также в других словарях:

• Agda — Класс языка: функциональный, доказыватель теорем[en] Автор(ы): Ульф Норелл Релиз: 2.3.2 (12 ноября 2012) …   Википедия

• agda — àgda ž <G mn ágdā/ ī> DEFINICIJA reg. 1. ukuhani šećer 2. bombon od ukuhanog, topljenog šećera; karamela ETIMOLOGIJA tur. aǧda ← arap. ̔aqīd: spojen, vezan …   Hrvatski jezični portal

• Agda — may refer to * A minor character from The Hitchhiker s Guide to the Galaxy * The Agda (theorem prover) …   Wikipedia

• ağda — is., Ar. ˁaḳīde 1) Kaynatılarak çok koyu ve yapışkan bir macun durumuna getirilen pekmez veya limonlu şeker eriyiği 2) Şekerle yapılan ürünlerin hazırlanması veya beklemesi sırasında şekerin ulaştığı koyuluk Atasözü, Deyim ve Birleşik Fiiller… …   Çağatay Osmanlı Sözlük

• Agda (theorem prover) — Agda is a theorem prover, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin Löf s Type Theory. It can also be seen as a… …   Wikipedia

• Agda Michelsdotter — Agda Michelsdotter, known as Liten Agda and Olof Tyste , (fl. c. 1523 1526), was couple in a legend which was to have happened in Sweden in c. 1523 27, during the very first years of king Gustav Vasa (1523 1560) and the last years of Catholic… …   Wikipedia

• Agda Persdotter — or Agda i Porten, (d. after 1565), was a Swedish woman, main royal mistress of King Eric XIV of Sweden during his time as a Crown Prince and during the first years of his reign 1560 1565. Biography Agda Persdotter is believed to have been the… …   Wikipedia

• Agda Lund Bed & Breakfast — (Чивик,Швеция) Категория отеля: Адрес: Kiviks stora väg 59, 27721 Чивик, Швеция …   Каталог отелей

• ağda yapmak — vücuttaki fazla tüyleri ağda ile almak, temizlemek …   Çağatay Osmanlı Sözlük

• AGDA — abbr. Automated Grants Documentation System …   Dictionary of abbreviations

• AĞDA — Bir kapta karıştırılıp pişirilerek koyulaşmış ve lüzucet kazanmış her nevi şeker vesaire …   Yeni Lügat Türkçe Sözlük