Native language:
Turkish
$20 to $25/ hour*
Hello,
I am a native Turkish citizen working as Turkish-German-English translator. My areas of expertise are general, technical, financial, official documents.
Language proficiencies:
Turkish : Native or Bilingual
German : Native or Bilingual
English : Fluent
*The listed rates are a general range for this translator. Every project is different and many factors affect translation rates including the complexity of your source text, file format, deadline, etc. Please contact this translator with the details of your translation job for a more specific rate quote. Rates on TM-Town are always listed as USD for consistency. A translator may have a different preferred currency.
252
Translation Units
0
Term Concepts
Language Pairs
German to Turkish
English to Turkish
Top Fields of Expertise
computer science
computers
computers (general)
electrical engineering
other
My Work
Sample Translation Computer Science
Computers (General) Sample Translation
| Source (German) | Target (Turkish) |
|---|---|
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
| Berechenbarkeitstheorie | Hesaplanabilirlik kuramı |
| Im Rahmen der Berechenbarkeitstheorie untersucht die theoretische Informatik, welche Probleme mit welchen Maschinen lösbar sind. | Kuramsal bilişim, hesaplanabilirlik kuramı çerçevesinde, hangi problemlerin hangi makinelerle çözülebileceğini incelemektedir. |
| Ein Rechnermodell oder eine Programmiersprache heißt Turing-vollständig, wenn damit eine universelle Turingmaschine simuliert werden kann. | Bir bilgisayar veya programlama dili, eğer evrensel bir Turing makinesini simüle etmek için kullanılabiliyorsa, Turing-tam olarak adlandırılır. |
| Alle heute eingesetzten Computer und die meisten Programmiersprachen sind Turing-vollständig, das heißt man kann damit dieselben Aufgaben lösen. | Günümüzde kullanılan tüm bilgisayarlar ve çoğu programlama dili Turing-tam'dır, yani aynı görevleri çözmek için kullanılabilirler. |
| Auch alternative Berechnungsmodelle wie der Lambda-Kalkül, WHILE-Programme, μ-rekursive Funktionen oder Registermaschinen stellten sich als Turing-vollständig heraus. | Lamda kalkülüs, While döngüsü, özyineli fonksiyonlar veya kayıt makineleri gibi alternatif hesaplama modellerinin de turing-tam olduğu görülmüştür. |
| Aus diesen Erkenntnissen entwickelte sich die Church-Turing-These, die zwar formal nicht beweisbar ist, jedoch allgemein akzeptiert wird. | Bu bulgulardan, resmi olarak kanıtlanamayan ama genel kabul gören, Church-Turing tezi gelişmiştir. |
| Den Begriff der Entscheidbarkeit kann man veranschaulichen als die Frage, ob ein bestimmtes Problem algorithmisch lösbar ist. | Karar verebilirlik kavramı belirli bir problemin algoritmik olarak çözülüp çözülemeyeceği sorusu olarak gösterilebilir. |
| Ein entscheidbares Problem ist zum Beispiel die Eigenschaft eines Texts, ein syntaktisch korrektes Programm zu sein. | Karar verilebilir problem, örneğin bir metnin söz dizimsel olarak doğru bir program olma özelliğidir. |
| Ein nicht-entscheidbares Problem ist zum Beispiel die Frage, ob ein gegebenes Programm mit gegebenen Eingabeparametern jemals zu einem Ergebnis kommt, was als Halteproblem bezeichnet wird. | Karar verilemeyen probleme örnek, belirli giriş parametreleriyle belirli bir programın bir sonuca ulaşıp ulaşamayacağı sorusudur; buna sonlanma problemi denir. |
Sample Translation Electrical Engineering
Engineering (Electrical) Sample Translation
| Source (English) | Target (Turkish) |
|---|---|
| Atoms, the smallest particles of matter that retain the properties of the matter, are made of protons, electrons, and neutrons. | Maddenin özelliklerini koruyan ve maddenin en ufak parçacığı olan atomlar proton, elektron ve nötronlardan oluşmaktadır. |
| Protons have a positive charge, Electrons have a negative charge that cancels the proton's positive charge. | Protonlar pozitif elektik yüküne, elektronlar ise protonun pozitif elektrik yükünü nötrleştiren negatif elektrik yüküne sahiptir. |
| Neutrons are particles that are similar to a proton but have a neutral charge. | Nötronlar protonlara benzeyen, ancak nötr elektrik yüküne sahip parçacıklardır. |
| There are no differences between positive and negative charges except that particles with the same charge repel each other and particles with opposite charges attract each other. | Aynı elektrik yüküne sahip parçacıkların birbirini itmesi, farklı elektrik yüküne sahip parçacıkların ise birbirini çekmesi dışında pozitif ve negatif elektrik yükü arasında bir fark yoktur. |
| If a solitary positive proton and negative electron are placed near each other they will come together to form a hydrogen atom. | Tek bir proton ve negatif yüklü elektron yan yana konumlandırıldığında, hidrojen atomu oluşturmak üzere birleşeceklerdir. |
| This repulsion and attraction (force between stationary charged particles) is known as the Electrostatic Force and extends theoretically to infinity, but is diluted as the distance between particles increases. | Bu itme ve çekim (hareketsiz yüklü parçacıklar arasındaki kuvvet) elektrostatik kuvvet olarak bilinmektedir ve teorik olarak sonsuza kadar sürmektedir, ancak parçacıklar arasındaki mesafe arttıkça etkisi azalmaktadır. |
| When an atom has one or more missing electrons it is left with a positive charge, and when an atom has at least one extra electron it has a negative charge. | Bir veya birden fazla elektron eksiği bulunan atom pozitif elektrik yüküne sahip olacaktır, diğer yandan en az bir elektron fazlası bulunan atom negatif elektrik yüküne sahip olacaktır. |
| Having a positive or a negative charge makes an atom an ion. | Pozitif veya negatif elektrik yüküne sahip olmak bir atomu iyona dönüştürmektedir. |
| Atoms only gain and lose protons and neutrons through fusion, fission, and radioactive decay. | Atomlar sadece füzyon, parçalanma ve radyoaktif çözülme ile proton ve elektron kazanır veya kaybeder. |
| Although atoms are made of many particles and objects are made of many atoms, they behave similarly to charged particles in terms of how they repel and attract. | Her ne kadar atomlar pek çok parçacıktan ve madde de pek çok atomdan oluşsa da, itim ve çekim hususunda elektrik yüklü parçacıklara benzer şekilde davranmaktadırlar. |
| In an atom the protons and neutrons combine to form a tightly bound nucleus. | Bir atomda protonlar ve nötronlar, sıkıca bağlı bir çekirdek oluşturmak üzere, birleşmektedir. |
| This nucleus is surrounded by a vast cloud of electrons circling it at a distance but held near the protons by electromagnetic attraction (the electrostatic force discussed earlier). | Çekirdek, etrafında dairesel olarak dönen ve elektromanyetik çekim (daha önce bahsi geçen eletrostatik kuvvet) tarafından protonlara yakın tutulan büyük bir elektron kümesi tarafından çevrelenmektedir. |
| The cloud exists as a series of overlapping shells / bands in which the inner valence bands are filled with electrons and are tightly bound to the atom. | Küme bir dizi üst üste binen kabuklardan meydana gelmektedir. Bu küme içindeki iç valans kuşakları elektron ile doludur ve atoma sıkıca bağlanmıştır. |
| The outer conduction bands contain no electrons except those that have accelerated to the conduction bands by gaining energy. | Dış iletim kuşakları, enerji kazanarak iletim kuşağına geçenler hariç, elektron bulundurmaz. |
| With enough energy an electron will escape an atom (compare with the escape velocity of a space rocket). | Yeteri miktarda enerji ile bir elektron atomdan kaçabilecektir (bir uzay roketinin kaçış hızı ile kıyaslanabilir). |
| When an electron in the conduction band decelerates and falls to another conduction band or the valence band a photon is emitted. | İletim kuşağındaki bir elektron hız kaybederek bir başka iletim veya valans kuşağına düşerse, bir foton salınmaktadır. |
| This is known as the photoelectric effect. | Bu durum fotoelektrik etki olarak bilinmektedir. |
Sample Translation Computer Science
Computer Science Sample Translation
| Source (English) | Target (Turkish) |
|---|---|
| Firefox has been designed to be useable by any user immediately--with no learning curve. | Firefox, öğrenme eğrisi olmaksızın, herkes tarafından hemen kullanılabilecek şekilde tasarlanmıştır. |
| However, to truly "rediscover the web", you should become comfortable with Firefox's advanced features. | Böyle olmakla birlikte, web'i gerçek anlamda yeniden keşfedebilmek için, Firefox'un ileri düzey özelliklerine aşina olmalısınız. |
| One of these is the use of tabs. | Bunlardan bir tanesi sekme kullanımıdır. |
| Firefox uses "tabs" to show multiple web pages in the same window. | Firefox, birden fazla web sayfasını aynı pencerede göstermek için, sekmelerden yararlanmaktadır. |
| Several other web browsers, such as Internet Explorer 7 and Opera, also use tabs. | Internet Explorer 7 ve Opera gibi, birtakım diğer web tarayıcısında da sekme kullanımı vardır. |
| Tabs are featured underneath the Location and Bookmarks Toolbars, in a file folder-like layout. | Sekmeler, konum ve sık kullanılanlar araç çubuklarının altında, dosa klasörüne benzer düzende yer almaktadır. |
| Tabs allow users to have one Firefox window in the taskbar, with multiple web pages open within that window. | Sekmeler kullanıcıya görev çubuğundaki tek bir Firefox penceresi açıkken, bu pencere içinden birden çok web sayfası açmasına imkan tanımaktadır. |
| In the image, the default Firefox homepage is shown in the first tab, and Firefox Central (accessed from the "Getting Started" bookmark) is shown in the second. | Resimde, öntanımlı Firefox ana sayfası ilk sekmede, ("Başlarken" yer iminden erişilen) Firefox Central ise ikinci sekmede gösterilmektedir. |
| The number of tabs that can be opened at any one time is unlimited, though the tab bar can only hold around 20 tabs comfortably. | Sekme çubuğu ancak 20 adet sekme gösterebilmesine karşın, eş zamanlı açılabilen sekme adedine ilişkin bir sınır yoktur. |
| Also, Firefox does not display the tab bar unless more than one tab is open (there is an option to change this). | Diğer yandan, birden fazla sekme açılmadığı sürece, Firefox sekme çubuğunu göstermemektedir (Bunu değiştirmeye yönelik bir seçenek mevcuttur). |
Turkey
Available Today
May 2024
| Sun. | Mon. | Tues. | Wed. | Thurs. | Fri. | Sat. |
|---|---|---|---|---|---|---|
28
|
29
|
30
|
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
30
|
31
|
1
|
