| dbo:abstract |
جون في. تاكر (بالإنجليزية: John V. Tucker) هو عالم حاسوب ومهندس بريطاني، ولد في 1952. (ar) John Vivian Tucker (born 4 February 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines. His work has focused on generalising the classical theory to deal with all forms of discrete/digital and continuous/analogue data; and on using the generalisations as formal methods for system design; based on abstract data types and on the interface between algorithms and physical equipment. (en) |
| dbo:wikiPageExternalLink |
https://collections.swansea.ac.uk/s/swansea-2020/page/computer-science. https://www.thegowersociety.org.uk https://www.flickr.com/photos/hocc_swansea https://www.ae-info.org/ae/Acad_Main/News_Archive/Professor%20John%20Tucker https://www.swansea.ac.uk/library/archive-and-research-collections/hocc https://www.uwp.co.uk/series/scientists-of-wales/ http://dx.doi.org/10.1016/j.techsoc.2016.06.002 https://doi.org/10.1016/j.techsoc.2021.101772. https://doi.org/10.24908/ss.v9i1/2.4096%E2%80%8B. https://web.archive.org/web/20060924114853/http:/www.swan.ac.uk/compsci/people/homepage.php%3Fstaff=J.V.Tucker https://web.archive.org/web/20120107122103/http:/hocc.swan.ac.uk/ https://www.youtube.com/channel/UCn00nU-ndo9tDMY4AezF_uQ https://www.springer.com/series/8442 https://dl.acm.org/doi/10.1145/1219092.1219095. https://www.learnedsociety.wales/wp-content/uploads/2015/11/The-Learned-Society-of-Wales-its-establishment-and-launch-EBOOK.pdf |
| dbo:wikiPageID |
7628927 (xsd:integer) |
| dbo:wikiPageLength |
11945 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1085193734 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Algorithm dbc:Scientists_from_Cardiff dbr:University_of_Bristol dbr:University_of_Leeds dbr:University_of_Wales dbr:University_of_Wales_Press dbr:University_of_Warwick dbc:Welsh_computer_scientists dbr:Jan_Bergstra dbr:Universal_algebra dbc:1952_births dbc:Living_people dbr:Computability_theory dbr:Analog_signal dbr:Matiyasevich's_theorem dbr:South_Wales_Institute_of_Engineers dbr:Anthony_Giddens dbr:Fellow dbr:Swansea_Bay dbc:Academics_of_Swansea_University dbc:Alumni_of_the_University_of_Bristol dbc:Alumni_of_the_University_of_Warwick dbr:British_Computer_Society dbr:Centrum_Wiskunde_&_Informatica dbr:Domain_theory dbr:Abstract_data_type dbr:Academia_Europaea dbr:Data_type dbr:Abstract_data_types dbr:British_Colloquium_for_Theoretical_Computer_Science dbr:Formal_methods dbr:Term_rewriting dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Learned_Society_of_Wales dbc:Formal_methods_people dbr:Learned_Society_of_Wales dbr:Swansea_University dbr:Hoare_logic dbr:Digital_data dbr:Springer_Nature dbr:Institute_of_Welsh_Affairs dbr:Natural_number dbc:People_educated_at_Ysgol_Brynteg dbr:Viggo_Stoltenberg-Hansen dbr:Imperative_programming dbr:Phatic_expression dbr:Oslo_University dbr:Recursion_theory |
| dbp:wikiPageUsesTemplate |
dbt:DBLP dbt:Authority_control dbt:Doi dbt:EngvarB dbt:Short_description dbt:Use_dmy_dates |
| dct:subject |
dbc:Scientists_from_Cardiff dbc:Welsh_computer_scientists dbc:1952_births dbc:Living_people dbc:Academics_of_Swansea_University dbc:Alumni_of_the_University_of_Bristol dbc:Alumni_of_the_University_of_Warwick dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Learned_Society_of_Wales dbc:Formal_methods_people dbc:People_educated_at_Ysgol_Brynteg |
| gold:hypernym |
dbr:Scientist |
| schema:sameAs |
http://viaf.org/viaf/109781685 |
| rdf:type |
owl:Thing dbo:Person yago:WikicatLivingPeople yago:WikicatWelshComputerScientists yago:WikicatPeopleEducatedAtYsgolBrynteg yago:WikicatPeopleFromCardiff yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfSwanseaUniversity yago:WikicatAlumniOfTheUniversityOfBristol yago:WikicatAlumniOfTheUniversityOfWarwick yago:WikicatFellowsOfTheBritishComputerSociety yago:WikicatFellowsOfTheLearnedSocietyOfWales yago:WikicatFormalMethodsPeople |
| rdfs:comment |
جون في. تاكر (بالإنجليزية: John V. Tucker) هو عالم حاسوب ومهندس بريطاني، ولد في 1952. (ar) John Vivian Tucker (born 4 February 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines. His work has focused on generalising the classical theory to deal with all forms of discrete/digital and continuous/analogue data; and on using the generalisations as formal methods for system design; based on abstract data types and on the interface between algorithms and physical equipment. (en) |
| rdfs:label |
جون في. تاكر (ar) John V. Tucker (en) |
| owl:sameAs |
freebase:John V. Tucker http://www4.wiwiss.fu-berlin.de/dblp/resource/person/337843 http://viaf.org/viaf/109781685 yago-res:John V. Tucker http://d-nb.info/gnd/172422361 https://dblp.org/pid/t/JohnVTucker wikidata:John V. Tucker http://data.bibliotheken.nl/id/thes/p068653476 dbpedia-ar:John V. Tucker https://global.dbpedia.org/id/4p2pZ |
| prov:wasDerivedFrom |
wikipedia-en:John_V._Tucker?oldid=1085193734&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:John_V._Tucker |
| is dbo:wikiPageRedirects of |
dbr:J.V._Tucker dbr:J._V._Tucker |
| is dbo:wikiPageWikiLink of |
dbr:Benedikt_Löwe dbr:List_of_computer_scientists dbr:Jan_Bergstra dbr:John_Tucker dbr:BCS-FACS dbr:Brynteg_School dbr:Centrum_Wiskunde_&_Informatica dbr:British_Colloquium_for_Theoretical_Computer_Science dbr:Viggo_Stoltenberg-Hansen dbr:J.V._Tucker dbr:J._V._Tucker |
| is foaf:primaryTopic of |
wikipedia-en:John_V._Tucker |