$20 to $25/ ora*
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
*Le tariffe riportate sono da considerarsi come un intervallo generico per questo traduttore. Ogni progetto è diverso e sono molti i fattori che possono influire sulle tariffe, come la complessità del testo di partenza, il formato dei file, la scadenza, ecc. Ti preghiamo di contattare direttamente questo traduttore illustrando i dettagli del lavoro di traduzione per ricevere un preventivo specifico. Su TM-Town le tariffe sono sempre espresse in USD per uniformità. I traduttori possono indicare una valuta preferita diversa.
252
Unità di traduzione
0
Concetti terminologici
Combinazioni linguistiche
German to Turkish
English to Turkish
Top dei settori di specializzazione
computer science
computers
computers (general)
electrical engineering
other
I miei lavori
Esempio di traduzione Computer Science
Computers (General) Esempio di traduzione
Partenza (German) | Arrivo (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. |
Esempio di traduzione Electrical Engineering
Engineering (Electrical) Esempio di traduzione
Partenza (English) | Arrivo (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. |
Esempio di traduzione Computer Science
Computer Science Esempio di traduzione
Partenza (English) | Arrivo (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
Disponibile Oggi
November 2024
Sun. | Mon. | Tues. | Wed. | Thurs. | Fri. | Sat. |
---|---|---|---|---|---|---|
27
|
28
|
29
|
30
|
31
|
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
|